a8c4b689ae98194cd6bd06d99cec9174552c7275
[ghc.git] / testsuite / tests / dependent / should_fail / BadTelescope2.stderr
1
2 BadTelescope2.hs:10:8: error:
3     • These kind and type variables: a k (b :: k)
4       are out of dependency order. Perhaps try this ordering:
5         k (a :: k) (b :: k)
6     • In the type signature: foo :: forall a k (b :: k). SameKind a b
7
8 BadTelescope2.hs:13:81: error:
9     • Expected kind ‘k’, but ‘d’ has kind ‘Proxy a’
10     • In the second argument of ‘SameKind’, namely ‘d’
11       In the type signature:
12         bar :: forall a k (b :: k) (c :: Proxy b) (d :: Proxy a).
13                Proxy c -> SameKind b d