blob: 9877175c760691c395d864fc33cd7128cdb22ae7 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
|
{-# LANGUAGE TypeFamilies #-}
module T3990 where
data family Complex a
data instance Complex Double = CD {-# UNPACK #-} !Double
{-# UNPACK #-} !Double
data T = T {-# UNPACK #-} !(Complex Double)
-- This shouuld actually get unpacked!
test_case :: T
test_case = T (CD 1 1)
|
