blob: 50137a0b54b0fe7f8d438a5952bb29d3fed8e87c (
plain) (
blame)
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:number/file <- $open-file-for-reading [/tmp/mu-x]
$print [file to read from: ], f, 10/newline
c:character, eof?:boolean <- $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
]
|