default to NoBuffering on Windows for a read/write text file
authorSimon Marlow <simonmar@microsoft.com>
Thu, 22 Jun 2006 14:44:46 +0000 (14:44 +0000)
committerSimon Marlow <simonmar@microsoft.com>
Thu, 22 Jun 2006 14:44:46 +0000 (14:44 +0000)
commitf4ed1a81084c267c6f36bec7f8100b6a4b62253f
tree5aebf1de51059453ebd9b0409be0085dd2119c0e
parent9b1d0fbde4ee76cebe31eea92077478e4a351ad9
default to NoBuffering on Windows for a read/write text file
Fixes (works around) #679
GHC/Handle.hs