blob: 30d986c456fb9c7184291abc41a4b9c46f7213c8 (
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
27
28
29
30
|
tc211.hs:15:22:
Couldn't match expected type `a -> a'
with actual type `forall a1. a1 -> a1'
Expected type: [a -> a]
Actual type: [forall a1. a1 -> a1]
In the first argument of `head', namely `foo'
In the first argument of `(:) ::
(forall a. a -> a)
-> [forall a. a -> a] -> [forall a. a -> a]', namely
`(head foo)'
tc211.hs:70:9:
Couldn't match expected type `a -> a'
with actual type `forall a1. a1 -> a1'
Expected type: List (forall a1. a1 -> a1)
-> (forall a1. a1 -> a1)
-> a
-> a
Actual type: List (forall a1. a1 -> a1)
-> (forall a1. a1 -> a1)
-> forall a1. a1 -> a1
In the expression:
foo2 ::
List (forall a. a -> a) -> (forall a. a -> a) -> (forall a. a -> a)
In the expression:
(foo2 ::
List (forall a. a -> a)
-> (forall a. a -> a) -> (forall a. a -> a))
xs1 (\ x -> x)
|