testsuite/tests/gadt/gadt7.stderr


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20


gadt7.hs:16:38:
    Couldn't match expected type ‛t’ with actual type ‛t1’
      ‛t1’ is untouchable
        inside the constraints (t2 ~ Int)
        bound by a pattern with constructor
                   K :: T Int,
                 in a case alternative
        at gadt7.hs:16:33
      ‛t1’ is a rigid type variable bound by
           the inferred type of i1b :: T t2 -> t1 -> t at gadt7.hs:16:1
      ‛t’ is a rigid type variable bound by
          the inferred type of i1b :: T t2 -> t1 -> t at gadt7.hs:16:1
    Relevant bindings include
      i1b :: T t2 -> t1 -> t (bound at gadt7.hs:16:1)
      y :: t1 (bound at gadt7.hs:16:7)
      y1 :: t1 (bound at gadt7.hs:16:16)
    In the expression: y1
    In a case alternative: K -> y1
    In the expression: case t1 of { K -> y1 }