blob: a32e413f6bca0b8d1fc199dd3c72dce06e0b2a8d (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
tcfail104.hs:16:19:
Couldn't match expected type ‛Char -> Char’
with actual type ‛forall a. a -> a’
In the expression: x
In the expression: (\ x -> x)
In the expression:
if v then (\ (x :: forall a. a -> a) -> x) else (\ x -> x)
tcfail104.hs:22:39:
Couldn't match expected type ‛forall a. a -> a’
with actual type ‛a0 -> a0’
In the expression: x
In the expression: (\ (x :: forall a. a -> a) -> x)
In the expression:
if v then (\ x -> x) else (\ (x :: forall a. a -> a) -> x)
|