fp2/week2/mart/Test.icl


1
2
3
4
5
6
7
8
9
10
11
12
13

implementation module Test

import StdIOMonad

// This assumes a file "camil.txt" and writes a line from it to "mart.txt"
Start world = doIO (
	open "camil.txt" Lees >>=
	\_ = open "mart.txt" Schrijf >>=
	\_ = readline "camil.txt" >>=
	\l = writeline (fromJust l) "mart.txt" >>=
	\_ = close "camil.txt" >>=
	\_ = close "mart.txt"
	) world