Improve error message in deriving( Functor )
[ghc.git] / testsuite / tests / typecheck / should_fail / tcfail198.stderr
1
2 tcfail198.hs:6:36: error:
3     • Couldn't match expected type ‘a1’ with actual type ‘a’
4         because type variable ‘a1’ would escape its scope
5       This (rigid, skolem) type variable is bound by
6         an expression type signature:
7           a1
8         at tcfail198.hs:6:41
9     • In the expression: x :: a
10       In the second argument of ‘(++)’, namely ‘[x :: a]’
11       In the expression: xs ++ [x :: a]
12     • Relevant bindings include
13         xs :: [a] (bound at tcfail198.hs:6:21)
14         x :: a (bound at tcfail198.hs:6:19)
15         f3 :: [a] -> [a] (bound at tcfail198.hs:6:6)