blob: cb14d9af267b2aee2f3648c9e1c5ce09aae9db82 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
|
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)
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)
|