Major patch to introduce TyConBinder
[ghc.git] / testsuite / tests / gadt / gadt13.stderr
1
2 gadt13.hs:15:13: error:
3     • Couldn't match expected type ‘t’
4                   with actual type ‘String -> [Char]’
5         ‘t’ is untouchable
6           inside the constraints: a ~ 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       ‘t’ is a rigid type variable bound by
11         the inferred type of shw :: Term a -> t at gadt13.hs:15:1-30
12       Possible fix: add a type signature for ‘shw’
13     • Possible cause: ‘(.)’ is applied to too many arguments
14       In the expression: ("I " ++) . shows t
15       In an equation for ‘shw’: shw (I t) = ("I " ++) . shows t
16     • Relevant bindings include
17         shw :: Term a -> t (bound at gadt13.hs:15:1)