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