[project @ 2000-09-25 10:48:50 by simonmar]
authorsimonmar <unknown>
Mon, 25 Sep 2000 10:48:50 +0000 (10:48 +0000)
committersimonmar <unknown>
Mon, 25 Sep 2000 10:48:50 +0000 (10:48 +0000)
commit8ac8460237e85049ef2fde1b7e115fa1b52cd378
treeb00d1645262b9332cba1d34cb256bf3f81976c30
parent01d54e8741ea99cfbeb96496b927be87d0657eac
[project @ 2000-09-25 10:48:50 by simonmar]
Don't blindly flush the buffer just because it is writeable.  It might
be a RW handle with a read buffer.
ghc/lib/std/cbits/closeFile.c