On Thu, Jan 24, 2013 at 02:42:31PM +0000, Simon Marlow wrote: > On 24/01/13 13:37, Simon Peyton-Jones wrote: > >T1133 and T1133A both work for me (Linux). > > They only fail with a non-fast validate (BTW) Sorry, I've fixed these. Thanks Ian