blob: 3645423c0a176b4434423b0e85b55baa40abbb53 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
|
tcfail104.hs:16:12: error:
• Couldn't match type: Char -> Char
with: forall a. a -> a
Expected: (forall a. a -> a) -> Char -> Char
Actual: (Char -> Char) -> Char -> Char
• In the expression: \ x -> x
In the expression:
(if v then (\ (x :: forall a. a -> a) -> x) else (\ x -> x)) id 'c'
In an equation for ‘f3’:
f3 v
= (if v then (\ (x :: forall a. a -> a) -> x) else (\ x -> x))
id 'c'
tcfail104.hs:22:12: error:
• Couldn't match type: forall a. a -> a
with: Char -> Char
Expected: (Char -> Char) -> Char -> Char
Actual: (forall a. a -> a) -> Char -> Char
• In the expression: \ (x :: forall a. a -> a) -> x
In the expression:
(if v then (\ x -> x) else (\ (x :: forall a. a -> a) -> x)) id 'c'
In an equation for ‘f4’:
f4 v
= (if v then (\ x -> x) else (\ (x :: forall a. a -> a) -> x))
id 'c'
|