Testsuite error message changes
[ghc.git] / testsuite / tests / indexed-types / should_fail / GADTwrong1.stderr
1
2 GADTwrong1.hs:12:21:
3     Couldn't match expected type ‘b’ with actual type ‘c’
4       ‘c’ is a rigid type variable bound by
5           a pattern with constructor
6             T :: forall c. c -> T (Const c),
7           in a case alternative
8           at GADTwrong1.hs:12:14
9       ‘b’ is a rigid type variable bound by
10           the type signature for coerce :: a -> b at GADTwrong1.hs:10:20
11     Relevant bindings include
12       y :: c (bound at GADTwrong1.hs:12:16)
13       coerce :: a -> b (bound at GADTwrong1.hs:11:1)
14     In the expression: y
15     In a case alternative: T y -> y