
26 Jan
2011
26 Jan
'11
2:28 p.m.
7.0.1.20110125 does not have this issue. Thanks for all who replied! On 26.01.2011, at 13:57, Simon Peyton-Jones wrote:
Right; it’s a bug all right. Happily, I committed a major patch two weeks ago, which cures the bug (I checked). The fix will be in 7.0.2. Meanwhile, if you can build the HEAD or get a development snapshot, you should be good to do.
Thanks for reporting this
Simon