Improve error recovery in the typechecker
[ghc.git] / testsuite / tests / dependent / should_fail / BadTelescope5.stderr
1
2 BadTelescope5.hs:10:81: error:
3     • Expected kind ‘k’, but ‘d’ has kind ‘Proxy a’
4     • In the second argument of ‘SameKind’, namely ‘d’
5       In the type signature:
6         bar :: forall a k (b :: k) (c :: Proxy b) (d :: Proxy a).
7                Proxy c -> SameKind b d