Use the result of writeCharBuf
authorSimon Marlow <marlowsd@gmail.com>
Mon, 6 Jul 2009 13:33:03 +0000 (13:33 +0000)
committerSimon Marlow <marlowsd@gmail.com>
Mon, 6 Jul 2009 13:33:03 +0000 (13:33 +0000)
commit0194bd1aa23f3c93c9fea3f6acdf5b968c024886
tree4398715982b489a06e601e3dd13dd315ecae0002
parent9107985bc92942346ead53074e0eadcd594ef170
Use the result of writeCharBuf

This only makes a difference when CHARBUF_UTF16 is in use, which it
normally isn't.  I suspect CHARBUF_UTF16 doesn't currently work for
other reasons (CHARBUF_UTF16 was an experiment before I wrote the
GHC.IO.Encoding.UTF* codecs), but this patch at least makes it
slightly closer to working.
GHC/IO/Encoding/UTF16.hs
GHC/IO/Encoding/UTF32.hs
GHC/IO/Encoding/UTF8.hs