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)
commit13ed68918315d8b4af25d396f157aa8f33bfdb30
tree9cbd67eafdd906f3e7ecdb9e0cd1494830e47c94
parent6d442b33e08f147818db1af0e9d6d89a6f48982d
writeFile: close the file on error
Suggested by Ross Paterson, via Neil Mitchell
libraries/base/System/IO.hs