7538dedda8b0458e21d04700ac5c9002e7addc66
[ghc.git] / testsuite / tests / typecheck / should_compile / tc211.stderr
1
2 tc211.hs:15:22:
3     Couldn't match type ‛forall a6. a6 -> a6’ with ‛a -> a’
4     Expected type: [a -> a]
5       Actual type: [forall a. a -> a]
6     In the first argument of ‛head’, namely ‛foo’
7     In the first argument of ‛(:) ::
8                                 (forall a. a -> a)
9                                 -> [forall a. a -> a] -> [forall a. a -> a]’, namely
10       ‛(head foo)’
11     In the expression:
12       ((:) ::
13          (forall a. a -> a) -> [forall a. a -> a] -> [forall a. a -> a])
14         (head foo) foo
15
16 tc211.hs:70:9:
17     Couldn't match type ‛forall a7. a7 -> a7’ with ‛a6 -> a6’
18     Expected type: List (forall a. a -> a)
19                    -> (forall a. a -> a) -> a6 -> a6
20       Actual type: List (forall a. a -> a)
21                    -> (forall a. a -> a) -> forall a. a -> a
22     In the expression:
23         foo2 ::
24           List (forall a. a -> a) -> (forall a. a -> a) -> (forall a. a -> a)
25     In the expression:
26       (foo2 ::
27          List (forall a. a -> a)
28          -> (forall a. a -> a) -> (forall a. a -> a))
29         xs1 (\ x -> x)
30     In an equation for ‛bar4’:
31         bar4
32           = (foo2 ::
33                List (forall a. a -> a)
34                -> (forall a. a -> a) -> (forall a. a -> a))
35               xs1 (\ x -> x)