On Thu, May 19, 2005 at 04:01:04AM +0200, Arjan Oosting wrote: > > Is this bug already coordinated with ghc upstream.
Yes. One problem is already found and fixed, but it looks like there is at least one still to go... Thanks Ian -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
