blob: 49c059d0cb6c10effd720ff19be64aab01c1dbb5 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
|
{-# LANGUAGE DeriveLift #-}
{-# LANGUAGE GeneralizedNewtypeDeriving #-}
{-# LANGUAGE MagicHash #-}
{-# LANGUAGE TypeFamilies #-}
module T1830_3a where
import GHC.Exts
import Language.Haskell.TH.Syntax (Lift(..))
data AlgDT a b c = NormalCon a b
| RecCon { recCon1 :: a, recCon2 :: b}
| a :^: b
deriving (Eq, Lift)
data Prim = Prim Char# Double# Int# Float# Word#
deriving (Eq, Lift)
-- We can't test this for equality easily due to the unstable nature of
-- primitive string literal equality. We include this anyway to ensure that
-- deriving Lift for datatypes with Addr# in them does in fact work.
data AddrHash = AddrHash Addr#
deriving Lift
data Empty deriving Lift
data family DataFam a b c
data instance DataFam Int b c = DF1 Int | DF2 b
deriving (Eq, Lift)
newtype instance DataFam Char b c = DF3 Char
deriving (Eq, Lift)
algDT1, algDT2, algDT3 :: AlgDT Int String ()
algDT1 = NormalCon 1 "foo"
algDT2 = RecCon 2 "bar"
algDT3 = 3 :^: "baz"
prim :: Prim
prim = Prim 'a'# 1.0## 1# 1.0# 1##
df1, df2 :: DataFam Int Char ()
df1 = DF1 1
df2 = DF2 'a'
df3 :: DataFam Char () ()
df3 = DF3 'b'
|
