3fb4a6a72d72db985926502c0d0b862f7e74683b
[ghc.git] / testsuite / tests / gadt / gadt7.stderr
1
2 gadt7.hs:16:38:
3     Couldn't match expected type ‘t’ with actual type ‘t1’
4       ‘t1’ is untouchable
5         inside the constraints (t2 ~ Int)
6         bound by a pattern with constructor
7                    K :: T Int,
8                  in a case alternative
9         at gadt7.hs:16:33
10       ‘t1’ is a rigid type variable bound by
11            the inferred type of i1b :: T t2 -> t1 -> t at gadt7.hs:16:1
12       ‘t’ is a rigid type variable bound by
13           the inferred type of i1b :: T t2 -> t1 -> t at gadt7.hs:16:1
14     Possible fix: add a type signature for ‘i1b’
15     Relevant bindings include
16       y1 :: t1 (bound at gadt7.hs:16:16)
17       y :: t1 (bound at gadt7.hs:16:7)
18       i1b :: T t2 -> t1 -> t (bound at gadt7.hs:16:1)
19     In the expression: y1
20     In a case alternative: K -> y1