TH_reifyDecl1.stderr 1.68 KB
Newer Older
1
data TH_reifyDecl1.T = TH_reifyDecl1.A | TH_reifyDecl1.B
2 3
data TH_reifyDecl1.R a_0 = TH_reifyDecl1.C a_0 | TH_reifyDecl1.D
data TH_reifyDecl1.List a_0
Simon Peyton Jones's avatar
Simon Peyton Jones committed
4 5
    = TH_reifyDecl1.Nil
    | TH_reifyDecl1.Cons a_0 (TH_reifyDecl1.List a_0)
6
data TH_reifyDecl1.Tree a_0
Simon Peyton Jones's avatar
Simon Peyton Jones committed
7 8
    = TH_reifyDecl1.Leaf
    | (TH_reifyDecl1.Tree a_0) TH_reifyDecl1.:+: (TH_reifyDecl1.Tree a_0)
9 10 11 12
type TH_reifyDecl1.IntList = [GHC.Types.Int]
newtype TH_reifyDecl1.Length = TH_reifyDecl1.Length GHC.Types.Int
Constructor from TH_reifyDecl1.Tree: TH_reifyDecl1.Leaf :: forall a_0 . TH_reifyDecl1.Tree a_0
Class op from TH_reifyDecl1.C1: TH_reifyDecl1.m1 :: forall a_0 . TH_reifyDecl1.C1 a_0 =>
reinerp's avatar
reinerp committed
13 14
                                                                 a_0 -> GHC.Types.Int
                                infixl 3 TH_reifyDecl1.m1
15
class TH_reifyDecl1.C1 a_0
reinerp's avatar
reinerp committed
16 17
    where TH_reifyDecl1.m1 :: forall a_0 . TH_reifyDecl1.C1 a_0 =>
                                           a_0 -> GHC.Types.Int
18
class TH_reifyDecl1.C2 a_0
reinerp's avatar
reinerp committed
19 20 21
    where TH_reifyDecl1.m2 :: forall a_0 . TH_reifyDecl1.C2 a_0 =>
                                           a_0 -> GHC.Types.Int
instance TH_reifyDecl1.C2 GHC.Types.Int
22
class TH_reifyDecl1.C3 a_0
reinerp's avatar
reinerp committed
23
instance TH_reifyDecl1.C3 GHC.Types.Int
eir@cis.upenn.edu's avatar
eir@cis.upenn.edu committed
24
type family TH_reifyDecl1.AT1 a_0 :: *
reinerp's avatar
reinerp committed
25
type instance TH_reifyDecl1.AT1 GHC.Types.Int = GHC.Types.Bool
eir@cis.upenn.edu's avatar
eir@cis.upenn.edu committed
26
data family TH_reifyDecl1.AT2 a_0 :: *
reinerp's avatar
reinerp committed
27 28
data instance TH_reifyDecl1.AT2 GHC.Types.Int
    = TH_reifyDecl1.AT2Int
eir@cis.upenn.edu's avatar
eir@cis.upenn.edu committed
29 30
type family TH_reifyDecl1.TF1 a_0 :: *
type family TH_reifyDecl1.TF2 a_0 :: *
reinerp's avatar
reinerp committed
31
type instance TH_reifyDecl1.TF2 GHC.Types.Bool = GHC.Types.Bool
eir@cis.upenn.edu's avatar
eir@cis.upenn.edu committed
32 33
data family TH_reifyDecl1.DF1 a_0 :: *
data family TH_reifyDecl1.DF2 a_0 :: *
reinerp's avatar
reinerp committed
34 35
data instance TH_reifyDecl1.DF2 GHC.Types.Bool
    = TH_reifyDecl1.DBool