On 06/11/2013 10:18 PM, Simon Peyton-Jones wrote: > Yes, that's the one. I'm reverting it now sorry about that. i'll have a look at the fix for the 32 bit version ASAP. -- Vincent