Lots of error message wibbling, following the
[ghc.git] / testsuite / tests / typecheck / should_compile / tc211.stderr
1
2 tc211.hs:15:22:
3     Couldn't match type `forall a1. a1 -> a1' 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 a1. a1 -> a1' with `a -> a'
18     Expected type: List (forall a. a -> a)
19                    -> (forall a. a -> a) -> a -> a
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)