writeFile: close the file on error
authorSimon Marlow <simonmar@microsoft.com>
Thu, 4 May 2006 08:45:05 +0000 (08:45 +0000)
committerSimon Marlow <simonmar@microsoft.com>
Thu, 4 May 2006 08:45:05 +0000 (08:45 +0000)
commit9856777164f36906b953f3796eea0b8851100b01
treed5a0de08b22078721624db617c18f1e5277979d5
parent3bdb7f5a1cf6de821f032f9507dd35433afd1d3d
writeFile: close the file on error
Suggested by Ross Paterson, via Neil Mitchell
System/IO.hs