summaryrefslogtreecommitdiff
path: root/testsuite/tests/gadt/gadt-escape1.stderr
blob: 41322f9cbc6f658e3344b1781a439d9b437b67c7 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19

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