blob: 8bd4608bde94b0aed6a5853f27b26c0a8356279e (
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 `a0 -> a0'
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)
|