From: Camil Staps <info@camilstaps.nl>
Date: Sat, 18 Apr 2015 20:33:00 +0000 (+0200)
Subject: SimpleFileIO.dcl
X-Git-Url: https://git.martlubbers.net/?a=commitdiff_plain;h=d033ac36fbfe6a45b353f53aa69d145426df76e0;p=fp1415.git

SimpleFileIO.dcl
---

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