Update Hadrian
[ghc.git] / testsuite / tests / polykinds / T12593.stderr
1
2 T12593.hs:11:16: error:
3     • Expected kind ‘k0 -> k1 -> *’, but ‘Free k k1 k2 p’ has kind ‘*’
4     • In the type signature:
5         run :: k2 q =>
6                Free k k1 k2 p a b
7                -> (forall (c :: k) (d :: k1). p c d -> q c d) -> q a b
8
9 T12593.hs:12:31: error:
10     • Expecting one more argument to ‘k’
11       Expected a type, but
12       ‘k’ has kind
13       ‘(((k0 -> k1 -> *) -> Constraint) -> (k2 -> k3 -> *) -> *)
14        -> Constraint’
15     • In the kind ‘k’
16       In the type signature:
17         run :: k2 q =>
18                Free k k1 k2 p a b
19                -> (forall (c :: k) (d :: k1). p c d -> q c d) -> q a b
20
21 T12593.hs:12:40: error:
22     • Expecting two more arguments to ‘k1’
23       Expected a type, but
24       ‘k1’ has kind
25       ‘((k0 -> k1 -> *) -> Constraint) -> (k2 -> k3 -> *) -> *’
26     • In the kind ‘k1’
27       In the type signature:
28         run :: k2 q =>
29                Free k k1 k2 p a b
30                -> (forall (c :: k) (d :: k1). p c d -> q c d) -> q a b
31
32 T12593.hs:12:47: error:
33     • Couldn't match kind ‘(((k0 -> k1 -> *) -> Constraint)
34                             -> (k2 -> k3 -> *) -> *)
35                            -> Constraint’
36                      with ‘*’
37       When matching kinds
38         k :: (((k0 -> k1 -> *) -> Constraint) -> (k2 -> k3 -> *) -> *)
39              -> Constraint
40         k2 :: *
41     • In the first argument of ‘p’, namely ‘c’
42       In the type signature:
43         run :: k2 q =>
44                Free k k1 k2 p a b
45                -> (forall (c :: k) (d :: k1). p c d -> q c d) -> q a b
46
47 T12593.hs:12:49: error:
48     • Couldn't match kind ‘((k0 -> k1 -> *) -> Constraint)
49                            -> (k2 -> k3 -> *) -> *’
50                      with ‘*’
51       When matching kinds
52         k4 :: ((k0 -> k1 -> *) -> Constraint) -> (k2 -> k3 -> *) -> *
53         k3 :: *
54     • In the second argument of ‘p’, namely ‘d’
55       In the type signature:
56         run :: k2 q =>
57                Free k k1 k2 p a b
58                -> (forall (c :: k) (d :: k1). p c d -> q c d) -> q a b
59
60 T12593.hs:12:56: error:
61     • Couldn't match kind ‘(((k0 -> k1 -> *) -> Constraint)
62                             -> (k2 -> k3 -> *) -> *)
63                            -> Constraint’
64                      with ‘*’
65       When matching kinds
66         k :: (((k0 -> k1 -> *) -> Constraint) -> (k2 -> k3 -> *) -> *)
67              -> Constraint
68         k0 :: *
69     • In the first argument of ‘q’, namely ‘c’
70       In the type signature:
71         run :: k2 q =>
72                Free k k1 k2 p a b
73                -> (forall (c :: k) (d :: k1). p c d -> q c d) -> q a b
74
75 T12593.hs:12:58: error:
76     • Couldn't match kind ‘((k0 -> k1 -> *) -> Constraint)
77                            -> (k2 -> k3 -> *) -> *’
78                      with ‘*’
79       When matching kinds
80         k4 :: ((k0 -> k1 -> *) -> Constraint) -> (k2 -> k3 -> *) -> *
81         k1 :: *
82     • In the second argument of ‘q’, namely ‘d’
83       In the type signature:
84         run :: k2 q =>
85                Free k k1 k2 p a b
86                -> (forall (c :: k) (d :: k1). p c d -> q c d) -> q a b