Commit 8245208c authored by chak@cse.unsw.edu.au.'s avatar chak@cse.unsw.edu.au.
Browse files

Remaining regression of change from GADT refinement to equalities

* gadt/lazypatok fails
* tcfail167's error message gets worse; ie, no more
  "Inaccessible case alternative: Can't match types `Char' and `Float'"

Both of these are minor regressions that will be addressed in due time.
parent 5e5ed24f
......@@ -40,7 +40,7 @@ test('nbe', normal, compile, [''])
test('while', normal, compile_and_run, [''])
test('rw', namebase_if_compiler_lt('ghc','6.9', 'rw-6.8'), compile_fail, [''])
test('lazypat', normal, compile_fail, [''])
test('lazypatok', normal, compile, [''])
test('lazypatok', expect_fail, compile, [''])
test('tc', normal, compile_and_run, [''])
test('arrow', skip_if_compiler_lt('ghc','6.9'), compile, [''])
test('tdpe', normal, compile, [''])
......
tcfail167.hs:14:13:
Inaccessible case alternative: Can't match types `Char' and `Float'
Couldn't match expected type `Float' against inferred type `Char'
In the pattern: C2
In the definition of `inaccessible': inaccessible C2 = ' '
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment