Don't skip validity checks for built-in classes (#17355)
[ghc.git] / testsuite / tests / typecheck / should_compile / tc211.stderr
1
2 tc211.hs:20:8: error:
3     • Couldn't match expected type ‘forall a. a -> a’
4                   with actual type ‘a9 -> a9’
5     • In the expression:
6           (:) ::
7             (forall a. a -> a) -> [forall a. a -> a] -> [forall a. a -> a]
8       In the expression:
9         ((:) ::
10            (forall a. a -> a) -> [forall a. a -> a] -> [forall a. a -> a])
11           (head foo) foo
12       In an equation for ‘bar’:
13           bar
14             = ((:) ::
15                  (forall a. a -> a) -> [forall a. a -> a] -> [forall a. a -> a])
16                 (head foo) foo
17
18 tc211.hs:25:8: error:
19     • Couldn't match type ‘a1 -> a1’ with ‘forall a. a -> a’
20       Expected type: [forall a. a -> a]
21         Actual type: [a1 -> a1]
22     • In the expression: (head foo) : (tail foo)
23       In an equation for ‘barr’: barr = (head foo) : (tail foo)
24
25 tc211.hs:25:20: error:
26     • Couldn't match type ‘forall a. a -> a’ with ‘a1 -> a1’
27       Expected type: [a1 -> a1]
28         Actual type: [forall a. a -> a]
29     • In the second argument of ‘(:)’, namely ‘(tail foo)’
30       In the expression: (head foo) : (tail foo)
31       In an equation for ‘barr’: barr = (head foo) : (tail foo)
32
33 tc211.hs:62:18: error:
34     • Couldn't match expected type ‘forall a. a -> a’
35                   with actual type ‘a6 -> a6’
36     • In the expression:
37           Cons ::
38             (forall a. a -> a)
39             -> List (forall a. a -> a) -> List (forall a. a -> a)
40       In an equation for ‘cons’:
41           cons
42             = Cons ::
43                 (forall a. a -> a)
44                 -> List (forall a. a -> a) -> List (forall a. a -> a)
45       In the expression:
46         let
47           cons
48             = Cons ::
49                 (forall a. a -> a)
50                 -> List (forall a. a -> a) -> List (forall a. a -> a)
51         in cons (\ x -> x) Nil
52
53 tc211.hs:68:8: error:
54     • Couldn't match expected type ‘forall a. a -> a’
55                   with actual type ‘a0 -> a0’
56     • In the expression:
57           Cons ::
58             ((forall a. a -> a)
59              -> List (forall a. a -> a) -> List (forall a. a -> a))
60       In the expression:
61         (Cons ::
62            ((forall a. a -> a)
63             -> List (forall a. a -> a) -> List (forall a. a -> a)))
64           (\ x -> x) Nil
65       In an equation for ‘xs2’:
66           xs2
67             = (Cons ::
68                  ((forall a. a -> a)
69                   -> List (forall a. a -> a) -> List (forall a. a -> a)))
70                 (\ x -> x) Nil
71
72 tc211.hs:76:9: error:
73     • Couldn't match type ‘forall a11. a11 -> a11’ with ‘a10 -> a10’
74       Expected type: List (forall a. a -> a)
75                      -> (forall a. a -> a) -> a10 -> a10
76         Actual type: List (a10 -> a10) -> (a10 -> a10) -> a10 -> a10
77     • In the expression:
78           foo2 ::
79             List (forall a. a -> a) -> (forall a. a -> a) -> (forall a. a -> a)
80       In the expression:
81         (foo2 ::
82            List (forall a. a -> a)
83            -> (forall a. a -> a) -> (forall a. a -> a))
84           xs1 (\ x -> x)
85       In an equation for ‘bar4’:
86           bar4
87             = (foo2 ::
88                  List (forall a. a -> a)
89                  -> (forall a. a -> a) -> (forall a. a -> a))
90                 xs1 (\ x -> x)