Embrace -XTypeInType, add -XStarIsType
[ghc.git] / testsuite / tests / deriving / should_fail / T12512.hs
1 {-# LANGUAGE StandaloneDeriving #-}
2 {-# LANGUAGE UnboxedSums #-}
3 {-# LANGUAGE UnboxedTuples #-}
4 {-# LANGUAGE DataKinds, PolyKinds #-}
5 module T12512 where
6
7 import GHC.Exts
8
9 class Wat1 (a :: TYPE ('TupleRep ['LiftedRep, 'LiftedRep]))
10 deriving instance Wat1 (# a, b #)
11
12 class Wat2 (a :: TYPE ('SumRep ['LiftedRep, 'LiftedRep]))
13 deriving instance Wat2 (# a | b #)