blob: 3632450fa80eadd6b275f6020a0c8e9e4620a11e (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
|
tcfail198.hs:6:36: error: [GHC-25897]
• Couldn't match expected type ‘a1’ with actual type ‘a’
‘a1’ is a rigid type variable bound by
an expression type signature:
forall a1. a1
at tcfail198.hs:6:41
‘a’ is a rigid type variable bound by
the inferred type of f3 :: [a] -> [a]
at tcfail198.hs:6:1-44
• In the expression: x :: a
In the second argument of ‘(++)’, namely ‘[x :: a]’
In the expression: xs ++ [x :: a]
• Relevant bindings include
xs :: [a] (bound at tcfail198.hs:6:21)
x :: a (bound at tcfail198.hs:6:19)
f3 :: [a] -> [a] (bound at tcfail198.hs:6:6)
|