SimpleFileIO.dcl

diff --git a/fp2/week1/camil/SimpleFileIO.dcl b/fp2/week1/camil/SimpleFileIO.dcl
index 5e38af3..1bd97da 100644 (file)
--- a/fp2/week1/camil/SimpleFileIO.dcl
+++ b/fp2/week1/camil/SimpleFileIO.dcl
@@ -3,12 +3,12 @@ definition module SimpleFileIO
 import StdFile, StdOverloaded, StdMaybe\r
 \r
 // 1.\r
-//readFile     :: String                 *env -> (Maybe String,  *env) | FileSystem env\r
-//writeFile    :: String String          *env -> (Bool,          *env) | FileSystem env\r
+readFile       :: String                 *env -> (Maybe String,  *env) | FileSystem env\r
+writeFile      :: String String          *env -> (Bool,          *env) | FileSystem env\r
 \r
 // 2.\r
 readLines      :: String                 *env -> (Maybe [String],*env) | FileSystem env\r
-//writeLines   :: String [String]        *env -> (Bool,          *env) | FileSystem env\r
+writeLines     :: String [String]        *env -> (Bool,          *env) | FileSystem env\r
 \r
 // 3.\r
 //mapFile              :: String String (a -> b) *env -> (Bool,          *env) | FileSystem env & ... a & ... b\r