Add kind equalities to GHC.
[ghc.git] / testsuite / tests / gadt / gadt-escape1.stderr
1
2 gadt-escape1.hs:19:58: error:
3     • Couldn't match type ‘r’ with ‘ExpGADT Int’
4         ‘r’ is untouchable
5           inside the constraints: t ~ Int
6           bound by a pattern with constructor: ExpInt :: Int -> ExpGADT Int,
7                    in a case alternative
8           at gadt-escape1.hs:19:43-50
9       ‘r’ is a rigid type variable bound by
10         the inferred type of weird1 :: r at gadt-escape1.hs:19:1
11       Possible fix: add a type signature for ‘weird1’
12       Expected type: r
13       Actual type: ExpGADT t
14     • In the expression: a
15       In a case alternative: Hidden (ExpInt _) a -> a
16     • Relevant bindings include
17         weird1 :: r (bound at gadt-escape1.hs:19:1)