Tons of error message wibbles
[ghc.git] / testsuite / tests / indexed-types / should_fail / GADTwrong1.stderr
1
2 GADTwrong1.hs:12:19:
3     Could not deduce (a1 ~ b)
4     from the context (() ~ Const a1)
5       bound by a pattern with constructor
6                  T :: forall a. a -> T (Const a),
7                in a case alternative
8       at GADTwrong1.hs:12:12-14
9       `a1' is a rigid type variable bound by
10            a pattern with constructor
11              T :: forall a. a -> T (Const a),
12            in a case alternative
13            at GADTwrong1.hs:12:12
14       `b' is a rigid type variable bound by
15           the type signature for coerce :: a -> b at GADTwrong1.hs:10:20
16     Relevant bindings include
17       coerce :: a -> b (bound at GADTwrong1.hs:11:1)
18       y :: a1 (bound at GADTwrong1.hs:12:14)
19     In the expression: y
20     In a case alternative: T y -> y
21     In the expression: case T x :: T (Const b) of { T y -> y }