blob: 87514f63cb207ea24797783a732330e89edc4785 (
plain)
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))))
|