6 Jun
2011
6 Jun
'11
9:23 a.m.
On 6 June 2011 02:34, KQ
The shock here is that there was only one failure, whereas the "False ~=? True" should have failed.
I'm not sure, but at a glance it looks you might have the usual problem where compiling your test with optimisations means that GHC optimises away the test failure. This is a known problem. If you compile with -fno-state-hack (or -O0) it should work. Max