Improve error recovery in the typechecker
[ghc.git] / testsuite / tests / dependent / should_fail / BadTelescope2.hs
1 {-# LANGUAGE DataKinds, PolyKinds, ExplicitForAll #-}
2
3 module BadTelescope2 where
4
5 import Data.Kind
6
7 data SameKind :: k -> k -> *
8
9 foo :: forall a k (b :: k). SameKind a b
10 foo = undefined
11