Embrace -XTypeInType, add -XStarIsType
[ghc.git] / testsuite / tests / indexed-types / should_fail / T14246.stderr
1
2 T14246.hs:18:5: error:
3     • Illegal polymorphic type: forall (t :: v). f t
4     • In the equations for closed type family ‘KLN’
5       In the type family declaration for ‘KLN’
6
7 T14246.hs:22:27: error:
8     • Expected kind ‘Vect (KLN f) L’,
9         but ‘Cons (Label (t :: v)) l’ has kind ‘Vect ('S (KLN (f t))) *’
10     • In the second argument of ‘Reveal’, namely
11         ‘(Cons (Label (t :: v)) l)’
12       In the type family declaration for ‘Reveal’
13
14 T14246.hs:22:67: error:
15     • Expected kind ‘Vect (KLN (f t)) L’,
16         but ‘l’ has kind ‘Vect (KLN (f t)) *’
17     • In the second argument of ‘Reveal’, namely ‘l’
18       In the type ‘Reveal (f t) l’
19       In the type family declaration for ‘Reveal’
20
21 T14246.hs:23:24: error:
22     • Expected kind ‘Vect (KLN a) L’, but ‘Nil’ has kind ‘Vect 'Z L’
23     • In the second argument of ‘Reveal’, namely ‘Nil’
24       In the type family declaration for ‘Reveal’