testsuite/tests/unboxedsums/unpack_sums_5.hs


1
2
3
4
5
6
7
8
9
10
11

module UnpackSumsFive where
-- Check that failure to unpack is warned about.

data SMaybeT = NoT | JustT {-# UNPACK #-} !T
  deriving Show

data T = MkT {-# UNPACK #-} !SMaybeT
  deriving Show

t :: T
t = MkT (JustT (MkT (JustT (MkT NoT))))