diff options
| author | Kartik Agaram <vc@akkartik.com> | 2020-01-01 17:04:37 -0800 |
|---|---|---|
| committer | Kartik Agaram <vc@akkartik.com> | 2020-01-01 17:04:37 -0800 |
| commit | 2a4088119cf41175457414dfa59bd4064b8f0562 (patch) | |
| tree | 64fe184e399f9870ebd481a90eec34d51e5dff68 /archive/2.vm/real-files.mu | |
| parent | 23fd294d85959c6b476bcdc35ed6ad508cc99b8f (diff) | |
| download | mu-2a4088119cf41175457414dfa59bd4064b8f0562.tar.gz | |
5852
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 -] |