blob: 22a09f59f7bb4822ec77c6d30c794a670c743870 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
tcfail198.hs:6:36:
Couldn't match expected type `a1' with actual type `a'
because type variable `a1' would escape its scope
This (rigid, skolem) type variable is bound by
an expression type signature: a1
at tcfail198.hs:6:36-41
Relevant bindings include
f3 :: [a] -> [a] (bound at tcfail198.hs:6:6)
x :: a (bound at tcfail198.hs:6:19)
xs :: [a] (bound at tcfail198.hs:6:21)
In the expression: x :: a
In the second argument of `(++)', namely `[x :: a]'
In the expression: xs ++ [x :: a]
|