Embrace -XTypeInType, add -XStarIsType
[ghc.git] / testsuite / tests / dependent / should_fail / RAE_T32a.stderr
1
2 RAE_T32a.hs:29:1: error:
3     • Expected kind ‘k0 -> *’,
4         but ‘Sing Sigma (Sigma p r)’ has kind ‘*’
5     • In the data instance declaration for ‘Sing’
6
7 RAE_T32a.hs:29:20: error:
8     • Expecting two more arguments to ‘Sigma’
9       Expected a type, but
10       ‘Sigma’ has kind
11       ‘forall p -> TyPi p (MkStar p) -> *’
12     • In the first argument of ‘Sing’, namely ‘Sigma’
13       In the data instance declaration for ‘Sing’
14
15 RAE_T32a.hs:29:27: error:
16     • Expected kind ‘Sigma’, but ‘Sigma p r’ has kind ‘*’
17     • In the second argument of ‘Sing’, namely ‘(Sigma p r)’
18       In the data instance declaration for ‘Sing’