summaryrefslogtreecommitdiff
path: root/testsuite/tests/generics/T10604/T10604_deriving.stderr
diff options
context:
space:
mode:
Diffstat (limited to 'testsuite/tests/generics/T10604/T10604_deriving.stderr')
-rw-r--r--testsuite/tests/generics/T10604/T10604_deriving.stderr600
1 files changed, 300 insertions, 300 deletions
diff --git a/testsuite/tests/generics/T10604/T10604_deriving.stderr b/testsuite/tests/generics/T10604/T10604_deriving.stderr
index 0d42f865dc..f8a4acc371 100644
--- a/testsuite/tests/generics/T10604/T10604_deriving.stderr
+++ b/testsuite/tests/generics/T10604/T10604_deriving.stderr
@@ -1,89 +1,39 @@
==================== Derived instances ====================
Derived class instances:
- instance GHC.Generics.Generic (T10604_deriving.Empty a) where
- GHC.Generics.from x
- = GHC.Generics.M1 (case x of { x -> case x of })
- GHC.Generics.to (GHC.Generics.M1 x) = case x of { x -> case x of }
-
- instance GHC.Generics.Generic1
- @GHC.Types.Bool T10604_deriving.Empty where
- GHC.Generics.from1 x
- = GHC.Generics.M1 (case x of { x -> case x of })
- GHC.Generics.to1 (GHC.Generics.M1 x) = case x of { x -> case x of }
-
- instance GHC.Base.Functor (T10604_deriving.Proxy @*) where
- GHC.Base.fmap _ = GHC.Prim.coerce
-
- instance forall k (a :: k).
- GHC.Generics.Generic (T10604_deriving.Proxy @k a) where
- GHC.Generics.from x
- = GHC.Generics.M1
- (case x of {
- T10604_deriving.Proxy -> GHC.Generics.M1 GHC.Generics.U1 })
- GHC.Generics.to (GHC.Generics.M1 x)
- = case x of {
- (GHC.Generics.M1 GHC.Generics.U1) -> T10604_deriving.Proxy }
-
- instance GHC.Generics.Generic1 @k (T10604_deriving.Proxy @k) where
- GHC.Generics.from1 x
- = GHC.Generics.M1
- (case x of {
- T10604_deriving.Proxy -> GHC.Generics.M1 GHC.Generics.U1 })
- GHC.Generics.to1 (GHC.Generics.M1 x)
- = case x of {
- (GHC.Generics.M1 GHC.Generics.U1) -> T10604_deriving.Proxy }
-
- instance GHC.Generics.Generic (T10604_deriving.Wrap a) where
- GHC.Generics.from x
- = GHC.Generics.M1
- (case x of {
- T10604_deriving.Wrap g1
- -> GHC.Generics.M1 (GHC.Generics.M1 (GHC.Generics.K1 g1)) })
- GHC.Generics.to (GHC.Generics.M1 x)
- = case x of {
- (GHC.Generics.M1 (GHC.Generics.M1 (GHC.Generics.K1 g1)))
- -> T10604_deriving.Wrap g1 }
-
- instance GHC.Generics.Generic1 @(* -> *) T10604_deriving.Wrap where
- GHC.Generics.from1 x
- = GHC.Generics.M1
- (case x of {
- T10604_deriving.Wrap g1
- -> GHC.Generics.M1 (GHC.Generics.M1 (GHC.Generics.Rec1 g1)) })
- GHC.Generics.to1 (GHC.Generics.M1 x)
- = case x of {
- (GHC.Generics.M1 (GHC.Generics.M1 g1))
- -> T10604_deriving.Wrap (GHC.Generics.unRec1 g1) }
-
- instance forall k (a :: k -> *).
- GHC.Generics.Generic (T10604_deriving.Wrap2 @k a) where
+ instance GHC.Generics.Generic (T10604_deriving.Starify a) where
GHC.Generics.from x
= GHC.Generics.M1
- (case x of {
- T10604_deriving.Wrap2 g1
- -> GHC.Generics.M1 (GHC.Generics.M1 (GHC.Generics.K1 g1)) })
+ (case x of
+ T10604_deriving.Starify1 g1
+ -> GHC.Generics.L1
+ (GHC.Generics.M1 (GHC.Generics.M1 (GHC.Generics.K1 g1)))
+ T10604_deriving.Starify2 g1
+ -> GHC.Generics.R1
+ (GHC.Generics.M1 (GHC.Generics.M1 (GHC.Generics.K1 g1))))
GHC.Generics.to (GHC.Generics.M1 x)
- = case x of {
- (GHC.Generics.M1 (GHC.Generics.M1 (GHC.Generics.K1 g1)))
- -> T10604_deriving.Wrap2 g1 }
+ = case x of
+ (GHC.Generics.L1 (GHC.Generics.M1 (GHC.Generics.M1 (GHC.Generics.K1 g1))))
+ -> T10604_deriving.Starify1 g1
+ (GHC.Generics.R1 (GHC.Generics.M1 (GHC.Generics.M1 (GHC.Generics.K1 g1))))
+ -> T10604_deriving.Starify2 g1
- instance GHC.Generics.Generic1
- @(k -> *) (T10604_deriving.Wrap2 @k) where
+ instance GHC.Generics.Generic1 @* T10604_deriving.Starify where
GHC.Generics.from1 x
= GHC.Generics.M1
- (case x of {
- T10604_deriving.Wrap2 g1
- -> GHC.Generics.M1
- (GHC.Generics.M1
- ((GHC.Base..)
- GHC.Generics.Comp1 (GHC.Base.fmap GHC.Generics.Rec1) g1)) })
+ (case x of
+ T10604_deriving.Starify1 g1
+ -> GHC.Generics.L1
+ (GHC.Generics.M1 (GHC.Generics.M1 (GHC.Generics.Par1 g1)))
+ T10604_deriving.Starify2 g1
+ -> GHC.Generics.R1
+ (GHC.Generics.M1 (GHC.Generics.M1 (GHC.Generics.K1 g1))))
GHC.Generics.to1 (GHC.Generics.M1 x)
- = case x of {
- (GHC.Generics.M1 (GHC.Generics.M1 g1))
- -> T10604_deriving.Wrap2
- ((GHC.Base..)
- (GHC.Base.fmap GHC.Generics.unRec1) GHC.Generics.unComp1 g1) }
+ = case x of
+ (GHC.Generics.L1 (GHC.Generics.M1 (GHC.Generics.M1 g1)))
+ -> T10604_deriving.Starify1 (GHC.Generics.unPar1 g1)
+ (GHC.Generics.R1 (GHC.Generics.M1 (GHC.Generics.M1 g1)))
+ -> T10604_deriving.Starify2 (GHC.Generics.unK1 g1)
instance forall k (a :: k).
GHC.Generics.Generic (T10604_deriving.SumOfProducts @{k} a) where
@@ -139,168 +89,172 @@ Derived class instances:
-> T10604_deriving.Prod2
(GHC.Generics.unRec1 g1) (GHC.Generics.unRec1 g2)
- instance GHC.Generics.Generic (T10604_deriving.Starify a) where
+ instance forall k (a :: k -> *).
+ GHC.Generics.Generic (T10604_deriving.Wrap2 @k a) where
GHC.Generics.from x
= GHC.Generics.M1
- (case x of
- T10604_deriving.Starify1 g1
- -> GHC.Generics.L1
- (GHC.Generics.M1 (GHC.Generics.M1 (GHC.Generics.K1 g1)))
- T10604_deriving.Starify2 g1
- -> GHC.Generics.R1
- (GHC.Generics.M1 (GHC.Generics.M1 (GHC.Generics.K1 g1))))
+ (case x of {
+ T10604_deriving.Wrap2 g1
+ -> GHC.Generics.M1 (GHC.Generics.M1 (GHC.Generics.K1 g1)) })
GHC.Generics.to (GHC.Generics.M1 x)
- = case x of
- (GHC.Generics.L1 (GHC.Generics.M1 (GHC.Generics.M1 (GHC.Generics.K1 g1))))
- -> T10604_deriving.Starify1 g1
- (GHC.Generics.R1 (GHC.Generics.M1 (GHC.Generics.M1 (GHC.Generics.K1 g1))))
- -> T10604_deriving.Starify2 g1
+ = case x of {
+ (GHC.Generics.M1 (GHC.Generics.M1 (GHC.Generics.K1 g1)))
+ -> T10604_deriving.Wrap2 g1 }
- instance GHC.Generics.Generic1 @* T10604_deriving.Starify where
+ instance GHC.Generics.Generic1
+ @(k -> *) (T10604_deriving.Wrap2 @k) where
GHC.Generics.from1 x
= GHC.Generics.M1
- (case x of
- T10604_deriving.Starify1 g1
- -> GHC.Generics.L1
- (GHC.Generics.M1 (GHC.Generics.M1 (GHC.Generics.Par1 g1)))
- T10604_deriving.Starify2 g1
- -> GHC.Generics.R1
- (GHC.Generics.M1 (GHC.Generics.M1 (GHC.Generics.K1 g1))))
+ (case x of {
+ T10604_deriving.Wrap2 g1
+ -> GHC.Generics.M1
+ (GHC.Generics.M1
+ ((GHC.Base..)
+ GHC.Generics.Comp1 (GHC.Base.fmap GHC.Generics.Rec1) g1)) })
GHC.Generics.to1 (GHC.Generics.M1 x)
- = case x of
- (GHC.Generics.L1 (GHC.Generics.M1 (GHC.Generics.M1 g1)))
- -> T10604_deriving.Starify1 (GHC.Generics.unPar1 g1)
- (GHC.Generics.R1 (GHC.Generics.M1 (GHC.Generics.M1 g1)))
- -> T10604_deriving.Starify2 (GHC.Generics.unK1 g1)
+ = case x of {
+ (GHC.Generics.M1 (GHC.Generics.M1 g1))
+ -> T10604_deriving.Wrap2
+ ((GHC.Base..)
+ (GHC.Base.fmap GHC.Generics.unRec1) GHC.Generics.unComp1 g1) }
+
+ instance GHC.Generics.Generic (T10604_deriving.Wrap a) where
+ GHC.Generics.from x
+ = GHC.Generics.M1
+ (case x of {
+ T10604_deriving.Wrap g1
+ -> GHC.Generics.M1 (GHC.Generics.M1 (GHC.Generics.K1 g1)) })
+ GHC.Generics.to (GHC.Generics.M1 x)
+ = case x of {
+ (GHC.Generics.M1 (GHC.Generics.M1 (GHC.Generics.K1 g1)))
+ -> T10604_deriving.Wrap g1 }
+
+ instance GHC.Generics.Generic1 @(* -> *) T10604_deriving.Wrap where
+ GHC.Generics.from1 x
+ = GHC.Generics.M1
+ (case x of {
+ T10604_deriving.Wrap g1
+ -> GHC.Generics.M1 (GHC.Generics.M1 (GHC.Generics.Rec1 g1)) })
+ GHC.Generics.to1 (GHC.Generics.M1 x)
+ = case x of {
+ (GHC.Generics.M1 (GHC.Generics.M1 g1))
+ -> T10604_deriving.Wrap (GHC.Generics.unRec1 g1) }
+
+ instance GHC.Base.Functor (T10604_deriving.Proxy @*) where
+ GHC.Base.fmap _ = GHC.Prim.coerce
+
+ instance forall k (a :: k).
+ GHC.Generics.Generic (T10604_deriving.Proxy @k a) where
+ GHC.Generics.from x
+ = GHC.Generics.M1
+ (case x of {
+ T10604_deriving.Proxy -> GHC.Generics.M1 GHC.Generics.U1 })
+ GHC.Generics.to (GHC.Generics.M1 x)
+ = case x of {
+ (GHC.Generics.M1 GHC.Generics.U1) -> T10604_deriving.Proxy }
+
+ instance GHC.Generics.Generic1 @k (T10604_deriving.Proxy @k) where
+ GHC.Generics.from1 x
+ = GHC.Generics.M1
+ (case x of {
+ T10604_deriving.Proxy -> GHC.Generics.M1 GHC.Generics.U1 })
+ GHC.Generics.to1 (GHC.Generics.M1 x)
+ = case x of {
+ (GHC.Generics.M1 GHC.Generics.U1) -> T10604_deriving.Proxy }
+
+ instance GHC.Generics.Generic (T10604_deriving.Empty a) where
+ GHC.Generics.from x
+ = GHC.Generics.M1 (case x of { x -> case x of })
+ GHC.Generics.to (GHC.Generics.M1 x) = case x of { x -> case x of }
+
+ instance GHC.Generics.Generic1
+ @GHC.Types.Bool T10604_deriving.Empty where
+ GHC.Generics.from1 x
+ = GHC.Generics.M1 (case x of { x -> case x of })
+ GHC.Generics.to1 (GHC.Generics.M1 x) = case x of { x -> case x of }
Derived type family instances:
- type GHC.Generics.Rep (T10604_deriving.Empty a) = GHC.Generics.D1
- @{*}
- ('GHC.Generics.MetaData
- "Empty"
- "T10604_deriving"
- "main"
- 'GHC.Types.False)
- (GHC.Generics.V1 @*)
- type GHC.Generics.Rep1
- @GHC.Types.Bool T10604_deriving.Empty = GHC.Generics.D1
- @{GHC.Types.Bool}
- ('GHC.Generics.MetaData
- "Empty"
- "T10604_deriving"
- "main"
- 'GHC.Types.False)
- (GHC.Generics.V1 @GHC.Types.Bool)
- type GHC.Generics.Rep
- (T10604_deriving.Proxy @k a) = GHC.Generics.D1
- @{*}
- ('GHC.Generics.MetaData
- "Proxy" "T10604_deriving" "main" 'GHC.Types.False)
- (GHC.Generics.C1
- @{*}
- ('GHC.Generics.MetaCons
- "Proxy" 'GHC.Generics.PrefixI 'GHC.Types.False)
- (GHC.Generics.U1 @*))
- type GHC.Generics.Rep1
- @k (T10604_deriving.Proxy @k) = GHC.Generics.D1
- @{k}
- ('GHC.Generics.MetaData
- "Proxy" "T10604_deriving" "main" 'GHC.Types.False)
- (GHC.Generics.C1
- @{k}
- ('GHC.Generics.MetaCons
- "Proxy" 'GHC.Generics.PrefixI 'GHC.Types.False)
- (GHC.Generics.U1 @k))
- type GHC.Generics.Rep (T10604_deriving.Wrap a) = GHC.Generics.D1
- @{*}
- ('GHC.Generics.MetaData
- "Wrap"
- "T10604_deriving"
- "main"
- 'GHC.Types.False)
- (GHC.Generics.C1
+ type GHC.Generics.Rep (T10604_deriving.Starify a) = GHC.Generics.D1
@{*}
- ('GHC.Generics.MetaCons
- "Wrap"
- 'GHC.Generics.PrefixI
+ ('GHC.Generics.MetaData
+ "Starify"
+ "T10604_deriving"
+ "main"
'GHC.Types.False)
- (GHC.Generics.S1
- @{*}
- ('GHC.Generics.MetaSel
- ('GHC.Maybe.Nothing @GHC.Types.Symbol)
- 'GHC.Generics.NoSourceUnpackedness
- 'GHC.Generics.NoSourceStrictness
- 'GHC.Generics.DecidedLazy)
- (GHC.Generics.Rec0
+ ((GHC.Generics.:+:)
+ @*
+ (GHC.Generics.C1
@{*}
- (T10604_deriving.Proxy @(* -> *) a))))
- type GHC.Generics.Rep1
- @(* -> *) T10604_deriving.Wrap = GHC.Generics.D1
- @{* -> *}
- ('GHC.Generics.MetaData
- "Wrap" "T10604_deriving" "main" 'GHC.Types.False)
- (GHC.Generics.C1
- @{* -> *}
- ('GHC.Generics.MetaCons
- "Wrap" 'GHC.Generics.PrefixI 'GHC.Types.False)
- (GHC.Generics.S1
- @{* -> *}
- ('GHC.Generics.MetaSel
- ('GHC.Maybe.Nothing @GHC.Types.Symbol)
- 'GHC.Generics.NoSourceUnpackedness
- 'GHC.Generics.NoSourceStrictness
- 'GHC.Generics.DecidedLazy)
- (GHC.Generics.Rec1
- @(* -> *) (T10604_deriving.Proxy @(* -> *)))))
- type GHC.Generics.Rep
- (T10604_deriving.Wrap2 @k a) = GHC.Generics.D1
- @{*}
- ('GHC.Generics.MetaData
- "Wrap2" "T10604_deriving" "main" 'GHC.Types.False)
- (GHC.Generics.C1
- @{*}
- ('GHC.Generics.MetaCons
- "Wrap2" 'GHC.Generics.PrefixI 'GHC.Types.False)
- (GHC.Generics.S1
- @{*}
- ('GHC.Generics.MetaSel
- ('GHC.Maybe.Nothing @GHC.Types.Symbol)
- 'GHC.Generics.NoSourceUnpackedness
- 'GHC.Generics.NoSourceStrictness
- 'GHC.Generics.DecidedLazy)
- (GHC.Generics.Rec0
- @{*}
- (T10604_deriving.Proxy
- @* (T10604_deriving.Proxy @(k -> *) a)))))
- type GHC.Generics.Rep1
- @(k -> *) (T10604_deriving.Wrap2 @k) = GHC.Generics.D1
- @{k -> *}
- ('GHC.Generics.MetaData
- "Wrap2"
- "T10604_deriving"
- "main"
- 'GHC.Types.False)
- (GHC.Generics.C1
- @{k -> *}
- ('GHC.Generics.MetaCons
- "Wrap2"
- 'GHC.Generics.PrefixI
- 'GHC.Types.False)
- (GHC.Generics.S1
- @{k -> *}
- ('GHC.Generics.MetaSel
- ('GHC.Maybe.Nothing @GHC.Types.Symbol)
- 'GHC.Generics.NoSourceUnpackedness
- 'GHC.Generics.NoSourceStrictness
- 'GHC.Generics.DecidedLazy)
- ((GHC.Generics.:.:)
+ ('GHC.Generics.MetaCons
+ "Starify1"
+ 'GHC.Generics.PrefixI
+ 'GHC.Types.False)
+ (GHC.Generics.S1
+ @{*}
+ ('GHC.Generics.MetaSel
+ ('GHC.Maybe.Nothing
+ @GHC.Types.Symbol)
+ 'GHC.Generics.NoSourceUnpackedness
+ 'GHC.Generics.NoSourceStrictness
+ 'GHC.Generics.DecidedLazy)
+ (GHC.Generics.Rec0 @{*} a)))
+ (GHC.Generics.C1
+ @{*}
+ ('GHC.Generics.MetaCons
+ "Starify2"
+ 'GHC.Generics.PrefixI
+ 'GHC.Types.False)
+ (GHC.Generics.S1
+ @{*}
+ ('GHC.Generics.MetaSel
+ ('GHC.Maybe.Nothing
+ @GHC.Types.Symbol)
+ 'GHC.Generics.NoSourceUnpackedness
+ 'GHC.Generics.NoSourceStrictness
+ 'GHC.Generics.DecidedLazy)
+ (GHC.Generics.Rec0
+ @{*} GHC.Types.Int))))
+ type GHC.Generics.Rep1 @* T10604_deriving.Starify = GHC.Generics.D1
+ @{*}
+ ('GHC.Generics.MetaData
+ "Starify"
+ "T10604_deriving"
+ "main"
+ 'GHC.Types.False)
+ ((GHC.Generics.:+:)
@*
- @(k -> *)
- (T10604_deriving.Proxy @*)
- (GHC.Generics.Rec1
- @(k -> *)
- (T10604_deriving.Proxy @(k -> *))))))
+ (GHC.Generics.C1
+ @{*}
+ ('GHC.Generics.MetaCons
+ "Starify1"
+ 'GHC.Generics.PrefixI
+ 'GHC.Types.False)
+ (GHC.Generics.S1
+ @{*}
+ ('GHC.Generics.MetaSel
+ ('GHC.Maybe.Nothing
+ @GHC.Types.Symbol)
+ 'GHC.Generics.NoSourceUnpackedness
+ 'GHC.Generics.NoSourceStrictness
+ 'GHC.Generics.DecidedLazy)
+ GHC.Generics.Par1))
+ (GHC.Generics.C1
+ @{*}
+ ('GHC.Generics.MetaCons
+ "Starify2"
+ 'GHC.Generics.PrefixI
+ 'GHC.Types.False)
+ (GHC.Generics.S1
+ @{*}
+ ('GHC.Generics.MetaSel
+ ('GHC.Maybe.Nothing
+ @GHC.Types.Symbol)
+ 'GHC.Generics.NoSourceUnpackedness
+ 'GHC.Generics.NoSourceStrictness
+ 'GHC.Generics.DecidedLazy)
+ (GHC.Generics.Rec0
+ @{*} GHC.Types.Int))))
type GHC.Generics.Rep
(T10604_deriving.SumOfProducts @{k} a) = GHC.Generics.D1
@{*}
@@ -439,86 +393,132 @@ Derived type family instances:
(GHC.Generics.Rec1
@k
(T10604_deriving.Proxy @k))))))
- type GHC.Generics.Rep (T10604_deriving.Starify a) = GHC.Generics.D1
- @{*}
- ('GHC.Generics.MetaData
- "Starify"
- "T10604_deriving"
- "main"
- 'GHC.Types.False)
- ((GHC.Generics.:+:)
+ type GHC.Generics.Rep
+ (T10604_deriving.Wrap2 @k a) = GHC.Generics.D1
+ @{*}
+ ('GHC.Generics.MetaData
+ "Wrap2" "T10604_deriving" "main" 'GHC.Types.False)
+ (GHC.Generics.C1
+ @{*}
+ ('GHC.Generics.MetaCons
+ "Wrap2" 'GHC.Generics.PrefixI 'GHC.Types.False)
+ (GHC.Generics.S1
+ @{*}
+ ('GHC.Generics.MetaSel
+ ('GHC.Maybe.Nothing @GHC.Types.Symbol)
+ 'GHC.Generics.NoSourceUnpackedness
+ 'GHC.Generics.NoSourceStrictness
+ 'GHC.Generics.DecidedLazy)
+ (GHC.Generics.Rec0
+ @{*}
+ (T10604_deriving.Proxy
+ @* (T10604_deriving.Proxy @(k -> *) a)))))
+ type GHC.Generics.Rep1
+ @(k -> *) (T10604_deriving.Wrap2 @k) = GHC.Generics.D1
+ @{k -> *}
+ ('GHC.Generics.MetaData
+ "Wrap2"
+ "T10604_deriving"
+ "main"
+ 'GHC.Types.False)
+ (GHC.Generics.C1
+ @{k -> *}
+ ('GHC.Generics.MetaCons
+ "Wrap2"
+ 'GHC.Generics.PrefixI
+ 'GHC.Types.False)
+ (GHC.Generics.S1
+ @{k -> *}
+ ('GHC.Generics.MetaSel
+ ('GHC.Maybe.Nothing @GHC.Types.Symbol)
+ 'GHC.Generics.NoSourceUnpackedness
+ 'GHC.Generics.NoSourceStrictness
+ 'GHC.Generics.DecidedLazy)
+ ((GHC.Generics.:.:)
@*
- (GHC.Generics.C1
- @{*}
- ('GHC.Generics.MetaCons
- "Starify1"
- 'GHC.Generics.PrefixI
- 'GHC.Types.False)
- (GHC.Generics.S1
- @{*}
- ('GHC.Generics.MetaSel
- ('GHC.Maybe.Nothing
- @GHC.Types.Symbol)
- 'GHC.Generics.NoSourceUnpackedness
- 'GHC.Generics.NoSourceStrictness
- 'GHC.Generics.DecidedLazy)
- (GHC.Generics.Rec0 @{*} a)))
- (GHC.Generics.C1
- @{*}
- ('GHC.Generics.MetaCons
- "Starify2"
- 'GHC.Generics.PrefixI
- 'GHC.Types.False)
- (GHC.Generics.S1
- @{*}
- ('GHC.Generics.MetaSel
- ('GHC.Maybe.Nothing
- @GHC.Types.Symbol)
- 'GHC.Generics.NoSourceUnpackedness
- 'GHC.Generics.NoSourceStrictness
- 'GHC.Generics.DecidedLazy)
- (GHC.Generics.Rec0
- @{*} GHC.Types.Int))))
- type GHC.Generics.Rep1 @* T10604_deriving.Starify = GHC.Generics.D1
+ @(k -> *)
+ (T10604_deriving.Proxy @*)
+ (GHC.Generics.Rec1
+ @(k -> *)
+ (T10604_deriving.Proxy @(k -> *))))))
+ type GHC.Generics.Rep (T10604_deriving.Wrap a) = GHC.Generics.D1
+ @{*}
+ ('GHC.Generics.MetaData
+ "Wrap"
+ "T10604_deriving"
+ "main"
+ 'GHC.Types.False)
+ (GHC.Generics.C1
@{*}
- ('GHC.Generics.MetaData
- "Starify"
- "T10604_deriving"
- "main"
+ ('GHC.Generics.MetaCons
+ "Wrap"
+ 'GHC.Generics.PrefixI
'GHC.Types.False)
- ((GHC.Generics.:+:)
- @*
- (GHC.Generics.C1
- @{*}
- ('GHC.Generics.MetaCons
- "Starify1"
- 'GHC.Generics.PrefixI
- 'GHC.Types.False)
- (GHC.Generics.S1
- @{*}
- ('GHC.Generics.MetaSel
- ('GHC.Maybe.Nothing
- @GHC.Types.Symbol)
- 'GHC.Generics.NoSourceUnpackedness
- 'GHC.Generics.NoSourceStrictness
- 'GHC.Generics.DecidedLazy)
- GHC.Generics.Par1))
- (GHC.Generics.C1
+ (GHC.Generics.S1
+ @{*}
+ ('GHC.Generics.MetaSel
+ ('GHC.Maybe.Nothing @GHC.Types.Symbol)
+ 'GHC.Generics.NoSourceUnpackedness
+ 'GHC.Generics.NoSourceStrictness
+ 'GHC.Generics.DecidedLazy)
+ (GHC.Generics.Rec0
@{*}
- ('GHC.Generics.MetaCons
- "Starify2"
- 'GHC.Generics.PrefixI
- 'GHC.Types.False)
- (GHC.Generics.S1
- @{*}
- ('GHC.Generics.MetaSel
- ('GHC.Maybe.Nothing
- @GHC.Types.Symbol)
- 'GHC.Generics.NoSourceUnpackedness
- 'GHC.Generics.NoSourceStrictness
- 'GHC.Generics.DecidedLazy)
- (GHC.Generics.Rec0
- @{*} GHC.Types.Int))))
+ (T10604_deriving.Proxy @(* -> *) a))))
+ type GHC.Generics.Rep1
+ @(* -> *) T10604_deriving.Wrap = GHC.Generics.D1
+ @{* -> *}
+ ('GHC.Generics.MetaData
+ "Wrap" "T10604_deriving" "main" 'GHC.Types.False)
+ (GHC.Generics.C1
+ @{* -> *}
+ ('GHC.Generics.MetaCons
+ "Wrap" 'GHC.Generics.PrefixI 'GHC.Types.False)
+ (GHC.Generics.S1
+ @{* -> *}
+ ('GHC.Generics.MetaSel
+ ('GHC.Maybe.Nothing @GHC.Types.Symbol)
+ 'GHC.Generics.NoSourceUnpackedness
+ 'GHC.Generics.NoSourceStrictness
+ 'GHC.Generics.DecidedLazy)
+ (GHC.Generics.Rec1
+ @(* -> *) (T10604_deriving.Proxy @(* -> *)))))
+ type GHC.Generics.Rep
+ (T10604_deriving.Proxy @k a) = GHC.Generics.D1
+ @{*}
+ ('GHC.Generics.MetaData
+ "Proxy" "T10604_deriving" "main" 'GHC.Types.False)
+ (GHC.Generics.C1
+ @{*}
+ ('GHC.Generics.MetaCons
+ "Proxy" 'GHC.Generics.PrefixI 'GHC.Types.False)
+ (GHC.Generics.U1 @*))
+ type GHC.Generics.Rep1
+ @k (T10604_deriving.Proxy @k) = GHC.Generics.D1
+ @{k}
+ ('GHC.Generics.MetaData
+ "Proxy" "T10604_deriving" "main" 'GHC.Types.False)
+ (GHC.Generics.C1
+ @{k}
+ ('GHC.Generics.MetaCons
+ "Proxy" 'GHC.Generics.PrefixI 'GHC.Types.False)
+ (GHC.Generics.U1 @k))
+ type GHC.Generics.Rep (T10604_deriving.Empty a) = GHC.Generics.D1
+ @{*}
+ ('GHC.Generics.MetaData
+ "Empty"
+ "T10604_deriving"
+ "main"
+ 'GHC.Types.False)
+ (GHC.Generics.V1 @*)
+ type GHC.Generics.Rep1
+ @GHC.Types.Bool T10604_deriving.Empty = GHC.Generics.D1
+ @{GHC.Types.Bool}
+ ('GHC.Generics.MetaData
+ "Empty"
+ "T10604_deriving"
+ "main"
+ 'GHC.Types.False)
+ (GHC.Generics.V1 @GHC.Types.Bool)