Commit d3278e61 authored by simonmar's avatar simonmar
Browse files

[project @ 2001-08-24 13:39:40 by simonmar]

update some expected output, and mark tcfail080 as an expected failure
parent eb7bbde3
......@@ -72,7 +72,7 @@ test "tcfail076" { vtcf("") }
test "tcfail077" { vtcf("") }
test "tcfail078" { vtcf("") }
test "tcfail079" { vtcf("") }
test "tcfail080" { vtcf("-fglasgow-exts -package lang") }
test "tcfail080" { $expect = "fail" vtcf("-fglasgow-exts -package lang") }
test "tcfail082" { vtcf("") }
test "tcfail083" { vtcf("") }
test "tcfail084" { vtcf("") }
......
tests/ghc-regress/typecheck/should_fail/tcfail071.hs:8:
tcfail071.hs:8:
Mismatched contexts
When matching the contexts of the signatures for `g' and `f'
(the signature contexts in a mutually recursive group should all be identical)
When matching the contexts of the signatures for
g :: forall c. c -> c
f :: forall c. (Ord c) => c -> c
The signature contexts in a mutually recursive group should all be identical
When generalising the type(s) for g, f
tests/ghc-regress/typecheck/should_fail/tcfail071.hs:10:
tcfail071.hs:10:
Cannot unify the type-signature variable `c'
with the type `a -> b -> b'
Expected type: a -> b -> b
......
tcfail088.hs:9:
Illegal polymorphic type as argument: forall s. T s a
When checking kinds in `Ord (forall s. T s a)'
Illegal polymorphic type: forall s. T s a
In the instance declaration for `Ord (forall s. T s a)'
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