Description
i1 : g = openOut "test-file"
o1 = test-file
o1 : File
|
i2 : g << "hi there"
o2 = test-file
o2 : File
|
i3 : g << close
o3 = test-file
o3 : File
|
i4 : get "test-file"
o4 = hi there
|
i5 : removeFile "test-file"
|
A filename starting with ~/ will have the tilde replaced by the user's home directory.