Improve error recovery in the typechecker
[ghc.git] / testsuite / tests / dependent / should_fail / BadTelescope2.stderr
1
2 BadTelescope2.hs:9: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