From: Simon Marlow <marlowsd@gmail.com>
Date: Mon, 6 Jul 2009 13:33:03 +0000 (+0000)
Subject: Use the result of writeCharBuf
X-Git-Tag: ghc-darcs-git-switchover~372
X-Git-Url: http://git.megacz.com/?a=commitdiff_plain;h=0194bd1aa23f3c93c9fea3f6acdf5b968c024886;hp=0194bd1aa23f3c93c9fea3f6acdf5b968c024886;p=ghc-base.git

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.
---