Add kind equalities to GHC.
[ghc.git] / testsuite / tests / dependent / should_fail / BadTelescope.hs
1 {-# LANGUAGE TypeInType #-}
2
3 module BadTelescope where
4
5 import Data.Kind
6
7 data SameKind :: k -> k -> *
8
9 data X a k (b :: k) (c :: SameKind a b)