Remove the type-checking knot.
[ghc.git] / testsuite / tests / polykinds / SigTvKinds.hs
1 {-# LANGUAGE PolyKinds #-}
2
3 module SigTvKinds where
4
5 data T (a :: k1) x = MkT (S a ())
6 data S (b :: k2) y = MkS (T b ())
7 -- tests TcTyClsDecls.no_sig_tv