A collection of type-inference refactorings.
[ghc.git] / testsuite / tests / gadt / gadt-escape1.stderr
1
2 gadt-escape1.hs:19:58: error:
3     • Couldn't match type ‘p’ with ‘ExpGADT Int’
4         ‘p’ 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       ‘p’ is a rigid type variable bound by
10         the inferred type of weird1 :: p at gadt-escape1.hs:19:1-58
11       Possible fix: add a type signature for ‘weird1’
12       Expected type: p
13         Actual type: ExpGADT t
14     • In the expression: a
15       In a case alternative: Hidden (ExpInt _) a -> a
16       In the expression:
17         case (hval :: Hidden) of { Hidden (ExpInt _) a -> a }
18     • Relevant bindings include
19         weird1 :: p (bound at gadt-escape1.hs:19:1)