Embrace -XTypeInType, add -XStarIsType
[ghc.git] / testsuite / tests / polykinds / T14710.stderr
1
2 T14710.hs:9:21: error:
3     Unexpected kind variable ‘a’
4     Perhaps you intended to use PolyKinds
5     In a class method signature for ‘c1’
6
7 T14710.hs:10:22: error:
8     Unexpected kind variable ‘a’
9     Perhaps you intended to use PolyKinds
10     In a class method signature for ‘c2’
11
12 T14710.hs:15:23: error:
13     Unexpected kind variable ‘a’
14     Perhaps you intended to use PolyKinds
15     In the type signature for ‘g1’
16
17 T14710.hs:18:24: error:
18     Unexpected kind variable ‘a’
19     Perhaps you intended to use PolyKinds
20     In the type signature for ‘g2’
21
22 T14710.hs:21:31: error:
23     Unexpected kind variable ‘k’
24     Perhaps you intended to use PolyKinds
25     In the type signature for ‘h1’
26
27 T14710.hs:24:22: error:
28     Unexpected kind variable ‘k’
29     Perhaps you intended to use PolyKinds
30     In the type signature for ‘h2’