1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 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?
# 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?