diff options
Diffstat (limited to 'archive/2.vm/real-files.mu')
-rw-r--r-- | archive/2.vm/real-files.mu | 18 |
1 files changed, 0 insertions, 18 deletions
diff --git a/archive/2.vm/real-files.mu b/archive/2.vm/real-files.mu deleted file mode 100644 index 7e50ac8e..00000000 --- a/archive/2.vm/real-files.mu +++ /dev/null @@ -1,18 +0,0 @@ -# example program: read a character from one file and write it to another -# BEWARE: this will modify your file system -# before running it, put a character into /tmp/mu-x -# after running it, check /tmp/mu-y - -def main [ - local-scope - f:num/file <- $open-file-for-reading [/tmp/mu-x] - $print [file to read from: ], f, 10/newline - c:char, eof?:bool <- $read-from-file f - $print [copying ], c, 10/newline - f <- $close-file f - $print [file after closing: ], f, 10/newline - f <- $open-file-for-writing [/tmp/mu-y] - $print [file to write to: ], f, 10/newline - $write-to-file f, c - f <- $close-file f -] |