testsuite/tests/gadt/gadt-escape1.stderr


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


gadt-escape1.hs:19:58:
    Couldn't match type ‛t’ with ‛ExpGADT Int’
      ‛t’ is untouchable
        inside the constraints (t1 ~ Int)
        bound by a pattern with constructor
                   ExpInt :: Int -> ExpGADT Int,
                 in a case alternative
        at gadt-escape1.hs:19:43-50
      ‛t’ is a rigid type variable bound by
          the inferred type of weird1 :: t at gadt-escape1.hs:19:1
    Expected type: t
      Actual type: ExpGADT t1
    Relevant bindings include
      weird1 :: t (bound at gadt-escape1.hs:19:1)
    In the expression: a
    In a case alternative: Hidden (ExpInt _) a -> a
    In the expression:
      case (hval :: Hidden) of { Hidden (ExpInt _) a -> a }