5a0892ed3130d89c220063cd087ecd217e6630be
[ghc.git] / testsuite / tests / indexed-types / should_fail / GADTwrong1.stderr
1
2 GADTwrong1.hs:12:21: error:
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: T :: forall c. c -> T (Const c),
6         in a case alternative
7         at GADTwrong1.hs:12:14
8       ‘b’ is a rigid type variable bound by
9         the type signature for:
10           coerce :: forall a b. a -> b
11         at GADTwrong1.hs:10:20
12     • In the expression: y
13       In a case alternative: T y -> y
14       In the expression: case T x :: T (Const b) of { T y -> y }
15     • Relevant bindings include
16         y :: c (bound at GADTwrong1.hs:12:16)
17         coerce :: a -> b (bound at GADTwrong1.hs:11:1)