testsuite: Assert that testsuite ways are known
[ghc.git] / testsuite / tests / typecheck / should_compile / T12928.hs
1 {-# LANGUAGE DataKinds, PolyKinds #-}
2
3 module T12928 where
4
5 data P (a::k) = MkP
6
7 data FffSym0 (l :: P a)
8
9 -- Make sure that the kind of 'k' is not defaulted:
10 --
11 -- data FffSym0 (l :: P (a :: Type))
12 --
13 -- We expect kind polymorphism:
14 --
15 -- data FffSym0 (l :: P (a :: k))
16 --
17 type Inst (a :: P Either) (b :: P Maybe) = (FffSym0 a, FffSym0 b)