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/1.vm/real-files.mu | |
parent | 23fd294d85959c6b476bcdc35ed6ad508cc99b8f (diff) | |
download | mu-2a4088119cf41175457414dfa59bd4064b8f0562.tar.gz |
5852
Diffstat (limited to 'archive/1.vm/real-files.mu')
-rw-r--r-- | archive/1.vm/real-files.mu | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/archive/1.vm/real-files.mu b/archive/1.vm/real-files.mu new file mode 100644 index 00000000..7e50ac8e --- /dev/null +++ b/archive/1.vm/real-files.mu @@ -0,0 +1,18 @@ +# 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 +] |