Add kind equalities to GHC.
[ghc.git] / testsuite / tests / gadt / gadt13.stderr
1
2 gadt13.hs:15:13: error:
3     • Couldn't match expected type ‘r’
4                   with actual type ‘String -> [Char]’
5         ‘r’ is untouchable
6           inside the constraints: r1 ~ Int
7           bound by a pattern with constructor: I :: Int -> Term Int,
8                    in an equation for ‘shw’
9           at gadt13.hs:15:6-8
10       ‘r’ is a rigid type variable bound by
11         the inferred type of shw :: Term r1 -> r at gadt13.hs:15:1
12       Possible fix: add a type signature for ‘shw’
13     • In the expression: ("I " ++) . shows t
14       In an equation for ‘shw’: shw (I t) = ("I " ++) . shows t
15     • Relevant bindings include
16         shw :: Term r1 -> r (bound at gadt13.hs:15:1)