-
Simon Peyton Jones authored
I'd fixed the bug for code that should be OK, but had forgotten to make the test for code that should be rejected! Test is arrowfail004
e9efdf97
I'd fixed the bug for code that should be OK, but had forgotten to make the test for code that should be rejected! Test is arrowfail004