Thanks, Simon!

Is the patch in the STABLE snapshot now? 

pavel

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