30d986c456fb9c7184291abc41a4b9c46f7213c8
[ghc.git] / testsuite / tests / typecheck / should_compile / tc211.stderr
1
2 tc211.hs:15:22:
3     Couldn't match expected type `a -> a'
4                 with actual type `forall a1. a1 -> a1'
5       Expected type: [a -> a]
6         Actual type: [forall a1. a1 -> a1]
7     In the first argument of `head', namely `foo'
8     In the first argument of `(:) ::
9                                 (forall a. a -> a)
10                                 -> [forall a. a -> a] -> [forall a. a -> a]', namely
11       `(head foo)'
12
13 tc211.hs:70:9:
14     Couldn't match expected type `a -> a'
15                 with actual type `forall a1. a1 -> a1'
16       Expected type: List (forall a1. a1 -> a1)
17                      -> (forall a1. a1 -> a1)
18                      -> a
19                      -> a
20         Actual type: List (forall a1. a1 -> a1)
21                      -> (forall a1. a1 -> a1)
22                      -> forall a1. a1 -> a1
23     In the expression:
24         foo2 ::
25           List (forall a. a -> a) -> (forall a. a -> a) -> (forall a. a -> a)
26     In the expression:
27       (foo2 ::
28          List (forall a. a -> a)
29          -> (forall a. a -> a) -> (forall a. a -> a))
30         xs1 (\ x -> x)