fp2/week2/mart/Test.icl

   1 implementation module Test
   2
   3 import StdIOMonad
   4
   5 // This assumes a file "camil.txt" and writes a line from it to "mart.txt"
   6 Start world = doIO (
   7         open "camil.txt" Lees >>=
   8         \_ = open "mart.txt" Schrijf >>=
   9         \_ = readline "camil.txt" >>=
  10         \l = writeline (fromJust l) "mart.txt" >>=
  11         \_ = close "camil.txt" >>=
  12         \_ = close "mart.txt"
  13         ) world