Embrace -XTypeInType, add -XStarIsType
[ghc.git] / testsuite / tests / deriving / should_compile / T11732b.hs
1 {-# LANGUAGE DeriveFunctor #-}
2 {-# LANGUAGE TypeFamilies #-}
3 {-# LANGUAGE PolyKinds #-}
4 module T11732b where
5
6 data P1 (a :: k) = MkP1 deriving Functor
7 data P2 k (a :: k) = MkP2 deriving Functor
8
9 data family P1Fam (x :: y)
10 data family P2Fam (x :: y) (z :: w)
11 data instance P1Fam (a :: k) deriving Functor
12 data instance P2Fam k (a :: k) deriving Functor