blob: a0a65952316c9119331b8735d08b82ca6b7a6431 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
|
tcfail104.hs:14:12: error:
• Couldn't match type ‘forall a. a -> a’ with ‘Char -> Char’
Expected type: (Char -> Char) -> Char -> Char
Actual type: (forall a. a -> a) -> Char -> Char
• When checking that: (forall a. a -> a) -> forall a. a -> a
is more polymorphic than: (Char -> Char) -> Char -> Char
In the expression: (\ (x :: forall a. a -> a) -> x)
In the expression:
if v then (\ (x :: forall a. a -> a) -> x) else (\ x -> x)
tcfail104.hs:22:15: error:
• Couldn't match expected type ‘forall a. a -> a’
with actual type ‘Char -> Char’
• When checking that the pattern signature: forall a. a -> a
fits the type of its context: Char -> Char
In the pattern: x :: forall a. a -> a
In the expression: (\ (x :: forall a. a -> a) -> x)
|