redefine writeFile and appendFile using withFile
authorRoss Paterson <ross@soi.city.ac.uk>
Tue, 7 Nov 2006 14:03:59 +0000 (14:03 +0000)
committerRoss Paterson <ross@soi.city.ac.uk>
Tue, 7 Nov 2006 14:03:59 +0000 (14:03 +0000)
commit0210db9aaa0c95be724258c74ce1dbc4b438fbe6
tree411883f4fe41fcc75af6a89bec995786ddfb5086
parent43b264ae52debea04f4cd09aa5c5f5135b3a864a
redefine writeFile and appendFile using withFile
System/IO.hs