summaryrefslogtreecommitdiff
path: root/testsuite
diff options
context:
space:
mode:
authorVladislav Zavialov <vlad.z.4096@gmail.com>2019-06-28 21:01:39 +0300
committerMarge Bot <ben+marge-bot@smart-cactus.org>2019-07-04 21:23:10 -0400
commit679427f878e50ba5a9981bac4c2f9c76f4de3c3c (patch)
tree377567870a7988c2cade9a8cb31f68bbcda64014 /testsuite
parent675d27fc241cafbdf666f421e9c2aa2c2625bc40 (diff)
downloadhaskell-679427f878e50ba5a9981bac4c2f9c76f4de3c3c.tar.gz
Produce all DerivInfo in tcTyAndClassDecls
Before this refactoring: * DerivInfo for data family instances was returned from tcTyAndClassDecls * DerivInfo for data declarations was generated with mkDerivInfos and added at a later stage of the pipeline in tcInstDeclsDeriv After this refactoring: * DerivInfo for both data family instances and data declarations is returned from tcTyAndClassDecls in a single list. This uniform treatment results in a more convenient arrangement to fix #16731.
Diffstat (limited to 'testsuite')
-rw-r--r--testsuite/tests/deriving/should_compile/T14578.stderr62
-rw-r--r--testsuite/tests/deriving/should_compile/T14579.stderr32
-rw-r--r--testsuite/tests/generics/GenDerivOutput.stderr156
-rw-r--r--testsuite/tests/generics/GenDerivOutput1_1.stderr148
-rw-r--r--testsuite/tests/generics/T10604/T10604_deriving.stderr600
5 files changed, 499 insertions, 499 deletions
diff --git a/testsuite/tests/deriving/should_compile/T14578.stderr b/testsuite/tests/deriving/should_compile/T14578.stderr
index 0c0fb641f7..c61f5d7422 100644
--- a/testsuite/tests/deriving/should_compile/T14578.stderr
+++ b/testsuite/tests/deriving/should_compile/T14578.stderr
@@ -1,6 +1,37 @@
==================== Derived instances ====================
Derived class instances:
+ instance (GHC.Base.Applicative f, GHC.Base.Applicative g,
+ GHC.Base.Semigroup a) =>
+ GHC.Base.Semigroup (T14578.Wat f g a) where
+ (GHC.Base.<>)
+ = GHC.Prim.coerce
+ @(T14578.App (Data.Functor.Compose.Compose f g) a
+ -> T14578.App (Data.Functor.Compose.Compose f g) a
+ -> T14578.App (Data.Functor.Compose.Compose f g) a)
+ @(T14578.Wat f g a -> T14578.Wat f g a -> T14578.Wat f g a)
+ ((GHC.Base.<>)
+ @(T14578.App (Data.Functor.Compose.Compose f g) a)) ::
+ T14578.Wat f g a -> T14578.Wat f g a -> T14578.Wat f g a
+ GHC.Base.sconcat
+ = GHC.Prim.coerce
+ @(GHC.Base.NonEmpty (T14578.App (Data.Functor.Compose.Compose f g) a)
+ -> T14578.App (Data.Functor.Compose.Compose f g) a)
+ @(GHC.Base.NonEmpty (T14578.Wat f g a) -> T14578.Wat f g a)
+ (GHC.Base.sconcat
+ @(T14578.App (Data.Functor.Compose.Compose f g) a)) ::
+ GHC.Base.NonEmpty (T14578.Wat f g a) -> T14578.Wat f g a
+ GHC.Base.stimes
+ = GHC.Prim.coerce
+ @(b
+ -> T14578.App (Data.Functor.Compose.Compose f g) a
+ -> T14578.App (Data.Functor.Compose.Compose f g) a)
+ @(b -> T14578.Wat f g a -> T14578.Wat f g a)
+ (GHC.Base.stimes
+ @(T14578.App (Data.Functor.Compose.Compose f g) a)) ::
+ forall (b :: TYPE GHC.Types.LiftedRep).
+ GHC.Real.Integral b => b -> T14578.Wat f g a -> T14578.Wat f g a
+
instance GHC.Base.Functor f =>
GHC.Base.Functor (T14578.App f) where
GHC.Base.fmap
@@ -61,37 +92,6 @@ Derived class instances:
(b :: TYPE GHC.Types.LiftedRep).
T14578.App f a -> T14578.App f b -> T14578.App f a
- instance (GHC.Base.Applicative f, GHC.Base.Applicative g,
- GHC.Base.Semigroup a) =>
- GHC.Base.Semigroup (T14578.Wat f g a) where
- (GHC.Base.<>)
- = GHC.Prim.coerce
- @(T14578.App (Data.Functor.Compose.Compose f g) a
- -> T14578.App (Data.Functor.Compose.Compose f g) a
- -> T14578.App (Data.Functor.Compose.Compose f g) a)
- @(T14578.Wat f g a -> T14578.Wat f g a -> T14578.Wat f g a)
- ((GHC.Base.<>)
- @(T14578.App (Data.Functor.Compose.Compose f g) a)) ::
- T14578.Wat f g a -> T14578.Wat f g a -> T14578.Wat f g a
- GHC.Base.sconcat
- = GHC.Prim.coerce
- @(GHC.Base.NonEmpty (T14578.App (Data.Functor.Compose.Compose f g) a)
- -> T14578.App (Data.Functor.Compose.Compose f g) a)
- @(GHC.Base.NonEmpty (T14578.Wat f g a) -> T14578.Wat f g a)
- (GHC.Base.sconcat
- @(T14578.App (Data.Functor.Compose.Compose f g) a)) ::
- GHC.Base.NonEmpty (T14578.Wat f g a) -> T14578.Wat f g a
- GHC.Base.stimes
- = GHC.Prim.coerce
- @(b
- -> T14578.App (Data.Functor.Compose.Compose f g) a
- -> T14578.App (Data.Functor.Compose.Compose f g) a)
- @(b -> T14578.Wat f g a -> T14578.Wat f g a)
- (GHC.Base.stimes
- @(T14578.App (Data.Functor.Compose.Compose f g) a)) ::
- forall (b :: TYPE GHC.Types.LiftedRep).
- GHC.Real.Integral b => b -> T14578.Wat f g a -> T14578.Wat f g a
-
Derived type family instances:
diff --git a/testsuite/tests/deriving/should_compile/T14579.stderr b/testsuite/tests/deriving/should_compile/T14579.stderr
index 133ba6fb2f..d32d06b289 100644
--- a/testsuite/tests/deriving/should_compile/T14579.stderr
+++ b/testsuite/tests/deriving/should_compile/T14579.stderr
@@ -1,22 +1,6 @@
==================== Derived instances ====================
Derived class instances:
- instance forall a (x :: Data.Proxy.Proxy a).
- GHC.Classes.Eq a =>
- GHC.Classes.Eq (T14579.Wat x) where
- (GHC.Classes.==)
- = GHC.Prim.coerce
- @(GHC.Maybe.Maybe a -> GHC.Maybe.Maybe a -> GHC.Types.Bool)
- @(T14579.Wat @a x -> T14579.Wat @a x -> GHC.Types.Bool)
- ((GHC.Classes.==) @(GHC.Maybe.Maybe a)) ::
- T14579.Wat @a x -> T14579.Wat @a x -> GHC.Types.Bool
- (GHC.Classes./=)
- = GHC.Prim.coerce
- @(GHC.Maybe.Maybe a -> GHC.Maybe.Maybe a -> GHC.Types.Bool)
- @(T14579.Wat @a x -> T14579.Wat @a x -> GHC.Types.Bool)
- ((GHC.Classes./=) @(GHC.Maybe.Maybe a)) ::
- T14579.Wat @a x -> T14579.Wat @a x -> GHC.Types.Bool
-
instance GHC.Classes.Eq a => GHC.Classes.Eq (T14579.Glurp a) where
(GHC.Classes.==)
= GHC.Prim.coerce
@@ -33,6 +17,22 @@ Derived class instances:
((GHC.Classes./=) @(T14579.Wat @a (Data.Proxy.Proxy @a))) ::
T14579.Glurp a -> T14579.Glurp a -> GHC.Types.Bool
+ instance forall a (x :: Data.Proxy.Proxy a).
+ GHC.Classes.Eq a =>
+ GHC.Classes.Eq (T14579.Wat x) where
+ (GHC.Classes.==)
+ = GHC.Prim.coerce
+ @(GHC.Maybe.Maybe a -> GHC.Maybe.Maybe a -> GHC.Types.Bool)
+ @(T14579.Wat @a x -> T14579.Wat @a x -> GHC.Types.Bool)
+ ((GHC.Classes.==) @(GHC.Maybe.Maybe a)) ::
+ T14579.Wat @a x -> T14579.Wat @a x -> GHC.Types.Bool
+ (GHC.Classes./=)
+ = GHC.Prim.coerce
+ @(GHC.Maybe.Maybe a -> GHC.Maybe.Maybe a -> GHC.Types.Bool)
+ @(T14579.Wat @a x -> T14579.Wat @a x -> GHC.Types.Bool)
+ ((GHC.Classes./=) @(GHC.Maybe.Maybe a)) ::
+ T14579.Wat @a x -> T14579.Wat @a x -> GHC.Types.Bool
+
Derived type family instances:
diff --git a/testsuite/tests/generics/GenDerivOutput.stderr b/testsuite/tests/generics/GenDerivOutput.stderr
index 9c008e0038..463609b19e 100644
--- a/testsuite/tests/generics/GenDerivOutput.stderr
+++ b/testsuite/tests/generics/GenDerivOutput.stderr
@@ -1,13 +1,13 @@
==================== Derived instances ====================
Derived class instances:
- instance GHC.Generics.Generic (GenDerivOutput.List a) where
+ instance GHC.Generics.Generic (GenDerivOutput.Rose a) where
GHC.Generics.from x
= GHC.Generics.M1
(case x of
- GenDerivOutput.Nil
+ GenDerivOutput.Empty
-> GHC.Generics.L1 (GHC.Generics.M1 GHC.Generics.U1)
- GenDerivOutput.Cons g1 g2
+ GenDerivOutput.Rose g1 g2
-> GHC.Generics.R1
(GHC.Generics.M1
((GHC.Generics.:*:)
@@ -16,47 +16,43 @@ Derived class instances:
GHC.Generics.to (GHC.Generics.M1 x)
= case x of
(GHC.Generics.L1 (GHC.Generics.M1 GHC.Generics.U1))
- -> GenDerivOutput.Nil
+ -> GenDerivOutput.Empty
(GHC.Generics.R1 (GHC.Generics.M1 ((GHC.Generics.:*:) (GHC.Generics.M1 (GHC.Generics.K1 g1))
(GHC.Generics.M1 (GHC.Generics.K1 g2)))))
- -> GenDerivOutput.Cons g1 g2
+ -> GenDerivOutput.Rose g1 g2
- instance GHC.Generics.Generic1 GenDerivOutput.List where
+ instance GHC.Generics.Generic1 GenDerivOutput.Rose where
GHC.Generics.from1 x
= GHC.Generics.M1
(case x of
- GenDerivOutput.Nil
+ GenDerivOutput.Empty
-> GHC.Generics.L1 (GHC.Generics.M1 GHC.Generics.U1)
- GenDerivOutput.Cons g1 g2
+ GenDerivOutput.Rose g1 g2
-> GHC.Generics.R1
(GHC.Generics.M1
((GHC.Generics.:*:)
(GHC.Generics.M1 (GHC.Generics.Par1 g1))
- (GHC.Generics.M1 (GHC.Generics.Rec1 g2)))))
+ (GHC.Generics.M1
+ ((GHC.Base..)
+ GHC.Generics.Comp1 (GHC.Base.fmap GHC.Generics.Rec1) g2)))))
GHC.Generics.to1 (GHC.Generics.M1 x)
= case x of
(GHC.Generics.L1 (GHC.Generics.M1 GHC.Generics.U1))
- -> GenDerivOutput.Nil
+ -> GenDerivOutput.Empty
(GHC.Generics.R1 (GHC.Generics.M1 ((GHC.Generics.:*:) (GHC.Generics.M1 g1)
(GHC.Generics.M1 g2))))
- -> GenDerivOutput.Cons
- (GHC.Generics.unPar1 g1) (GHC.Generics.unRec1 g2)
-
- instance GHC.Base.Functor GenDerivOutput.List where
- GHC.Base.fmap f GenDerivOutput.Nil = GenDerivOutput.Nil
- GHC.Base.fmap f (GenDerivOutput.Cons a1 a2)
- = GenDerivOutput.Cons (f a1) (GHC.Base.fmap f a2)
- (GHC.Base.<$) z GenDerivOutput.Nil = GenDerivOutput.Nil
- (GHC.Base.<$) z (GenDerivOutput.Cons a1 a2)
- = GenDerivOutput.Cons ((\ b1 -> z) a1) ((GHC.Base.<$) z a2)
+ -> GenDerivOutput.Rose
+ (GHC.Generics.unPar1 g1)
+ ((GHC.Base..)
+ (GHC.Base.fmap GHC.Generics.unRec1) GHC.Generics.unComp1 g2)
- instance GHC.Generics.Generic (GenDerivOutput.Rose a) where
+ instance GHC.Generics.Generic (GenDerivOutput.List a) where
GHC.Generics.from x
= GHC.Generics.M1
(case x of
- GenDerivOutput.Empty
+ GenDerivOutput.Nil
-> GHC.Generics.L1 (GHC.Generics.M1 GHC.Generics.U1)
- GenDerivOutput.Rose g1 g2
+ GenDerivOutput.Cons g1 g2
-> GHC.Generics.R1
(GHC.Generics.M1
((GHC.Generics.:*:)
@@ -65,165 +61,169 @@ Derived class instances:
GHC.Generics.to (GHC.Generics.M1 x)
= case x of
(GHC.Generics.L1 (GHC.Generics.M1 GHC.Generics.U1))
- -> GenDerivOutput.Empty
+ -> GenDerivOutput.Nil
(GHC.Generics.R1 (GHC.Generics.M1 ((GHC.Generics.:*:) (GHC.Generics.M1 (GHC.Generics.K1 g1))
(GHC.Generics.M1 (GHC.Generics.K1 g2)))))
- -> GenDerivOutput.Rose g1 g2
+ -> GenDerivOutput.Cons g1 g2
- instance GHC.Generics.Generic1 GenDerivOutput.Rose where
+ instance GHC.Generics.Generic1 GenDerivOutput.List where
GHC.Generics.from1 x
= GHC.Generics.M1
(case x of
- GenDerivOutput.Empty
+ GenDerivOutput.Nil
-> GHC.Generics.L1 (GHC.Generics.M1 GHC.Generics.U1)
- GenDerivOutput.Rose g1 g2
+ GenDerivOutput.Cons g1 g2
-> GHC.Generics.R1
(GHC.Generics.M1
((GHC.Generics.:*:)
(GHC.Generics.M1 (GHC.Generics.Par1 g1))
- (GHC.Generics.M1
- ((GHC.Base..)
- GHC.Generics.Comp1 (GHC.Base.fmap GHC.Generics.Rec1) g2)))))
+ (GHC.Generics.M1 (GHC.Generics.Rec1 g2)))))
GHC.Generics.to1 (GHC.Generics.M1 x)
= case x of
(GHC.Generics.L1 (GHC.Generics.M1 GHC.Generics.U1))
- -> GenDerivOutput.Empty
+ -> GenDerivOutput.Nil
(GHC.Generics.R1 (GHC.Generics.M1 ((GHC.Generics.:*:) (GHC.Generics.M1 g1)
(GHC.Generics.M1 g2))))
- -> GenDerivOutput.Rose
- (GHC.Generics.unPar1 g1)
- ((GHC.Base..)
- (GHC.Base.fmap GHC.Generics.unRec1) GHC.Generics.unComp1 g2)
+ -> GenDerivOutput.Cons
+ (GHC.Generics.unPar1 g1) (GHC.Generics.unRec1 g2)
+
+ instance GHC.Base.Functor GenDerivOutput.List where
+ GHC.Base.fmap f GenDerivOutput.Nil = GenDerivOutput.Nil
+ GHC.Base.fmap f (GenDerivOutput.Cons a1 a2)
+ = GenDerivOutput.Cons (f a1) (GHC.Base.fmap f a2)
+ (GHC.Base.<$) z GenDerivOutput.Nil = GenDerivOutput.Nil
+ (GHC.Base.<$) z (GenDerivOutput.Cons a1 a2)
+ = GenDerivOutput.Cons ((\ b1 -> z) a1) ((GHC.Base.<$) z a2)
Derived type family instances:
- type GHC.Generics.Rep (GenDerivOutput.List a) = GHC.Generics.D1
+ type GHC.Generics.Rep (GenDerivOutput.Rose a) = GHC.Generics.D1
('GHC.Generics.MetaData
- "List"
+ "Rose"
"GenDerivOutput"
"main"
'GHC.Types.False)
(GHC.Generics.C1
('GHC.Generics.MetaCons
- "Nil"
+ "Empty"
'GHC.Generics.PrefixI
'GHC.Types.False)
GHC.Generics.U1
GHC.Generics.:+: GHC.Generics.C1
('GHC.Generics.MetaCons
- "Cons"
+ "Rose"
'GHC.Generics.PrefixI
- 'GHC.Types.True)
+ 'GHC.Types.False)
(GHC.Generics.S1
('GHC.Generics.MetaSel
- ('GHC.Maybe.Just
- "element")
+ 'GHC.Maybe.Nothing
'GHC.Generics.NoSourceUnpackedness
'GHC.Generics.NoSourceStrictness
'GHC.Generics.DecidedLazy)
(GHC.Generics.Rec0 a)
GHC.Generics.:*: GHC.Generics.S1
('GHC.Generics.MetaSel
- ('GHC.Maybe.Just
- "rest")
+ 'GHC.Maybe.Nothing
'GHC.Generics.NoSourceUnpackedness
'GHC.Generics.NoSourceStrictness
'GHC.Generics.DecidedLazy)
(GHC.Generics.Rec0
(GenDerivOutput.List
- a))))
- type GHC.Generics.Rep1 GenDerivOutput.List = GHC.Generics.D1
+ (GenDerivOutput.Rose
+ a)))))
+ type GHC.Generics.Rep1 GenDerivOutput.Rose = GHC.Generics.D1
('GHC.Generics.MetaData
- "List" "GenDerivOutput" "main" 'GHC.Types.False)
+ "Rose" "GenDerivOutput" "main" 'GHC.Types.False)
(GHC.Generics.C1
('GHC.Generics.MetaCons
- "Nil" 'GHC.Generics.PrefixI 'GHC.Types.False)
+ "Empty"
+ 'GHC.Generics.PrefixI
+ 'GHC.Types.False)
GHC.Generics.U1
GHC.Generics.:+: GHC.Generics.C1
('GHC.Generics.MetaCons
- "Cons"
+ "Rose"
'GHC.Generics.PrefixI
- 'GHC.Types.True)
+ 'GHC.Types.False)
(GHC.Generics.S1
('GHC.Generics.MetaSel
- ('GHC.Maybe.Just
- "element")
+ 'GHC.Maybe.Nothing
'GHC.Generics.NoSourceUnpackedness
'GHC.Generics.NoSourceStrictness
'GHC.Generics.DecidedLazy)
GHC.Generics.Par1
GHC.Generics.:*: GHC.Generics.S1
('GHC.Generics.MetaSel
- ('GHC.Maybe.Just
- "rest")
+ 'GHC.Maybe.Nothing
'GHC.Generics.NoSourceUnpackedness
'GHC.Generics.NoSourceStrictness
'GHC.Generics.DecidedLazy)
- (GHC.Generics.Rec1
- GenDerivOutput.List)))
- type GHC.Generics.Rep (GenDerivOutput.Rose a) = GHC.Generics.D1
+ (GenDerivOutput.List
+ GHC.Generics.:.: GHC.Generics.Rec1
+ GenDerivOutput.Rose)))
+ type GHC.Generics.Rep (GenDerivOutput.List a) = GHC.Generics.D1
('GHC.Generics.MetaData
- "Rose"
+ "List"
"GenDerivOutput"
"main"
'GHC.Types.False)
(GHC.Generics.C1
('GHC.Generics.MetaCons
- "Empty"
+ "Nil"
'GHC.Generics.PrefixI
'GHC.Types.False)
GHC.Generics.U1
GHC.Generics.:+: GHC.Generics.C1
('GHC.Generics.MetaCons
- "Rose"
+ "Cons"
'GHC.Generics.PrefixI
- 'GHC.Types.False)
+ 'GHC.Types.True)
(GHC.Generics.S1
('GHC.Generics.MetaSel
- 'GHC.Maybe.Nothing
+ ('GHC.Maybe.Just
+ "element")
'GHC.Generics.NoSourceUnpackedness
'GHC.Generics.NoSourceStrictness
'GHC.Generics.DecidedLazy)
(GHC.Generics.Rec0 a)
GHC.Generics.:*: GHC.Generics.S1
('GHC.Generics.MetaSel
- 'GHC.Maybe.Nothing
+ ('GHC.Maybe.Just
+ "rest")
'GHC.Generics.NoSourceUnpackedness
'GHC.Generics.NoSourceStrictness
'GHC.Generics.DecidedLazy)
(GHC.Generics.Rec0
(GenDerivOutput.List
- (GenDerivOutput.Rose
- a)))))
- type GHC.Generics.Rep1 GenDerivOutput.Rose = GHC.Generics.D1
+ a))))
+ type GHC.Generics.Rep1 GenDerivOutput.List = GHC.Generics.D1
('GHC.Generics.MetaData
- "Rose" "GenDerivOutput" "main" 'GHC.Types.False)
+ "List" "GenDerivOutput" "main" 'GHC.Types.False)
(GHC.Generics.C1
('GHC.Generics.MetaCons
- "Empty"
- 'GHC.Generics.PrefixI
- 'GHC.Types.False)
+ "Nil" 'GHC.Generics.PrefixI 'GHC.Types.False)
GHC.Generics.U1
GHC.Generics.:+: GHC.Generics.C1
('GHC.Generics.MetaCons
- "Rose"
+ "Cons"
'GHC.Generics.PrefixI
- 'GHC.Types.False)
+ 'GHC.Types.True)
(GHC.Generics.S1
('GHC.Generics.MetaSel
- 'GHC.Maybe.Nothing
+ ('GHC.Maybe.Just
+ "element")
'GHC.Generics.NoSourceUnpackedness
'GHC.Generics.NoSourceStrictness
'GHC.Generics.DecidedLazy)
GHC.Generics.Par1
GHC.Generics.:*: GHC.Generics.S1
('GHC.Generics.MetaSel
- 'GHC.Maybe.Nothing
+ ('GHC.Maybe.Just
+ "rest")
'GHC.Generics.NoSourceUnpackedness
'GHC.Generics.NoSourceStrictness
'GHC.Generics.DecidedLazy)
- (GenDerivOutput.List
- GHC.Generics.:.: GHC.Generics.Rec1
- GenDerivOutput.Rose)))
+ (GHC.Generics.Rec1
+ GenDerivOutput.List)))
diff --git a/testsuite/tests/generics/GenDerivOutput1_1.stderr b/testsuite/tests/generics/GenDerivOutput1_1.stderr
index 139d7ed255..e82a61ec0f 100644
--- a/testsuite/tests/generics/GenDerivOutput1_1.stderr
+++ b/testsuite/tests/generics/GenDerivOutput1_1.stderr
@@ -83,31 +83,13 @@ Derived class instances:
-> CanDoRep1_1.D1b
(GHC.Generics.unPar1 g1) (GHC.Generics.unRec1 g2)
- instance GHC.Generics.Generic (CanDoRep1_1.Da a) where
- GHC.Generics.from x
- = GHC.Generics.M1
- (case x of
- CanDoRep1_1.D0 -> GHC.Generics.L1 (GHC.Generics.M1 GHC.Generics.U1)
- CanDoRep1_1.D1 g1 g2
- -> GHC.Generics.R1
- (GHC.Generics.M1
- ((GHC.Generics.:*:)
- (GHC.Generics.M1 (GHC.Generics.K1 g1))
- (GHC.Generics.M1 (GHC.Generics.K1 g2)))))
- GHC.Generics.to (GHC.Generics.M1 x)
- = case x of
- (GHC.Generics.L1 (GHC.Generics.M1 GHC.Generics.U1))
- -> CanDoRep1_1.D0
- (GHC.Generics.R1 (GHC.Generics.M1 ((GHC.Generics.:*:) (GHC.Generics.M1 (GHC.Generics.K1 g1))
- (GHC.Generics.M1 (GHC.Generics.K1 g2)))))
- -> CanDoRep1_1.D1 g1 g2
-
- instance GHC.Generics.Generic1 CanDoRep1_1.Da where
+ instance GHC.Generics.Generic1 CanDoRep1_1.Dc where
GHC.Generics.from1 x
= GHC.Generics.M1
(case x of
- CanDoRep1_1.D0 -> GHC.Generics.L1 (GHC.Generics.M1 GHC.Generics.U1)
- CanDoRep1_1.D1 g1 g2
+ CanDoRep1_1.D0c
+ -> GHC.Generics.L1 (GHC.Generics.M1 GHC.Generics.U1)
+ CanDoRep1_1.D1c g1 g2
-> GHC.Generics.R1
(GHC.Generics.M1
((GHC.Generics.:*:)
@@ -116,10 +98,11 @@ Derived class instances:
GHC.Generics.to1 (GHC.Generics.M1 x)
= case x of
(GHC.Generics.L1 (GHC.Generics.M1 GHC.Generics.U1))
- -> CanDoRep1_1.D0
+ -> CanDoRep1_1.D0c
(GHC.Generics.R1 (GHC.Generics.M1 ((GHC.Generics.:*:) (GHC.Generics.M1 g1)
(GHC.Generics.M1 g2))))
- -> CanDoRep1_1.D1 (GHC.Generics.unPar1 g1) (GHC.Generics.unRec1 g2)
+ -> CanDoRep1_1.D1c
+ (GHC.Generics.unPar1 g1) (GHC.Generics.unRec1 g2)
instance GHC.Generics.Generic (CanDoRep1_1.Db a) where
GHC.Generics.from x
@@ -141,13 +124,31 @@ Derived class instances:
(GHC.Generics.M1 (GHC.Generics.K1 g2)))))
-> CanDoRep1_1.D1b g1 g2
- instance GHC.Generics.Generic1 CanDoRep1_1.Dc where
+ instance GHC.Generics.Generic (CanDoRep1_1.Da a) where
+ GHC.Generics.from x
+ = GHC.Generics.M1
+ (case x of
+ CanDoRep1_1.D0 -> GHC.Generics.L1 (GHC.Generics.M1 GHC.Generics.U1)
+ CanDoRep1_1.D1 g1 g2
+ -> GHC.Generics.R1
+ (GHC.Generics.M1
+ ((GHC.Generics.:*:)
+ (GHC.Generics.M1 (GHC.Generics.K1 g1))
+ (GHC.Generics.M1 (GHC.Generics.K1 g2)))))
+ GHC.Generics.to (GHC.Generics.M1 x)
+ = case x of
+ (GHC.Generics.L1 (GHC.Generics.M1 GHC.Generics.U1))
+ -> CanDoRep1_1.D0
+ (GHC.Generics.R1 (GHC.Generics.M1 ((GHC.Generics.:*:) (GHC.Generics.M1 (GHC.Generics.K1 g1))
+ (GHC.Generics.M1 (GHC.Generics.K1 g2)))))
+ -> CanDoRep1_1.D1 g1 g2
+
+ instance GHC.Generics.Generic1 CanDoRep1_1.Da where
GHC.Generics.from1 x
= GHC.Generics.M1
(case x of
- CanDoRep1_1.D0c
- -> GHC.Generics.L1 (GHC.Generics.M1 GHC.Generics.U1)
- CanDoRep1_1.D1c g1 g2
+ CanDoRep1_1.D0 -> GHC.Generics.L1 (GHC.Generics.M1 GHC.Generics.U1)
+ CanDoRep1_1.D1 g1 g2
-> GHC.Generics.R1
(GHC.Generics.M1
((GHC.Generics.:*:)
@@ -156,11 +157,10 @@ Derived class instances:
GHC.Generics.to1 (GHC.Generics.M1 x)
= case x of
(GHC.Generics.L1 (GHC.Generics.M1 GHC.Generics.U1))
- -> CanDoRep1_1.D0c
+ -> CanDoRep1_1.D0
(GHC.Generics.R1 (GHC.Generics.M1 ((GHC.Generics.:*:) (GHC.Generics.M1 g1)
(GHC.Generics.M1 g2))))
- -> CanDoRep1_1.D1c
- (GHC.Generics.unPar1 g1) (GHC.Generics.unRec1 g2)
+ -> CanDoRep1_1.D1 (GHC.Generics.unPar1 g1) (GHC.Generics.unRec1 g2)
Derived type family instances:
@@ -278,50 +278,21 @@ Derived type family instances:
'GHC.Generics.DecidedLazy)
(GHC.Generics.Rec1
CanDoRep1_1.Db)))
- type GHC.Generics.Rep (CanDoRep1_1.Da a) = GHC.Generics.D1
- ('GHC.Generics.MetaData
- "Da" "CanDoRep1_1" "main" 'GHC.Types.False)
- (GHC.Generics.C1
- ('GHC.Generics.MetaCons
- "D0" 'GHC.Generics.PrefixI 'GHC.Types.False)
- GHC.Generics.U1
- GHC.Generics.:+: GHC.Generics.C1
- ('GHC.Generics.MetaCons
- "D1"
- 'GHC.Generics.PrefixI
- 'GHC.Types.True)
- (GHC.Generics.S1
- ('GHC.Generics.MetaSel
- ('GHC.Maybe.Just "d11a")
- 'GHC.Generics.NoSourceUnpackedness
- 'GHC.Generics.NoSourceStrictness
- 'GHC.Generics.DecidedLazy)
- (GHC.Generics.Rec0 a)
- GHC.Generics.:*: GHC.Generics.S1
- ('GHC.Generics.MetaSel
- ('GHC.Maybe.Just
- "d12a")
- 'GHC.Generics.NoSourceUnpackedness
- 'GHC.Generics.NoSourceStrictness
- 'GHC.Generics.DecidedLazy)
- (GHC.Generics.Rec0
- (CanDoRep1_1.Da
- a))))
- type GHC.Generics.Rep1 CanDoRep1_1.Da = GHC.Generics.D1
+ type GHC.Generics.Rep1 CanDoRep1_1.Dc = GHC.Generics.D1
('GHC.Generics.MetaData
- "Da" "CanDoRep1_1" "main" 'GHC.Types.False)
+ "Dc" "CanDoRep1_1" "main" 'GHC.Types.False)
(GHC.Generics.C1
('GHC.Generics.MetaCons
- "D0" 'GHC.Generics.PrefixI 'GHC.Types.False)
+ "D0c" 'GHC.Generics.PrefixI 'GHC.Types.False)
GHC.Generics.U1
GHC.Generics.:+: GHC.Generics.C1
('GHC.Generics.MetaCons
- "D1"
+ "D1c"
'GHC.Generics.PrefixI
'GHC.Types.True)
(GHC.Generics.S1
('GHC.Generics.MetaSel
- ('GHC.Maybe.Just "d11a")
+ ('GHC.Maybe.Just "d11c")
'GHC.Generics.NoSourceUnpackedness
'GHC.Generics.NoSourceStrictness
'GHC.Generics.DecidedLazy)
@@ -329,12 +300,12 @@ Derived type family instances:
GHC.Generics.:*: GHC.Generics.S1
('GHC.Generics.MetaSel
('GHC.Maybe.Just
- "d12a")
+ "d12c")
'GHC.Generics.NoSourceUnpackedness
'GHC.Generics.NoSourceStrictness
'GHC.Generics.DecidedLazy)
(GHC.Generics.Rec1
- CanDoRep1_1.Da)))
+ CanDoRep1_1.Dc)))
type GHC.Generics.Rep (CanDoRep1_1.Db a) = GHC.Generics.D1
('GHC.Generics.MetaData
"Db" "CanDoRep1_1" "main" 'GHC.Types.False)
@@ -364,21 +335,50 @@ Derived type family instances:
(GHC.Generics.Rec0
(CanDoRep1_1.Db
a))))
- type GHC.Generics.Rep1 CanDoRep1_1.Dc = GHC.Generics.D1
+ type GHC.Generics.Rep (CanDoRep1_1.Da a) = GHC.Generics.D1
+ ('GHC.Generics.MetaData
+ "Da" "CanDoRep1_1" "main" 'GHC.Types.False)
+ (GHC.Generics.C1
+ ('GHC.Generics.MetaCons
+ "D0" 'GHC.Generics.PrefixI 'GHC.Types.False)
+ GHC.Generics.U1
+ GHC.Generics.:+: GHC.Generics.C1
+ ('GHC.Generics.MetaCons
+ "D1"
+ 'GHC.Generics.PrefixI
+ 'GHC.Types.True)
+ (GHC.Generics.S1
+ ('GHC.Generics.MetaSel
+ ('GHC.Maybe.Just "d11a")
+ 'GHC.Generics.NoSourceUnpackedness
+ 'GHC.Generics.NoSourceStrictness
+ 'GHC.Generics.DecidedLazy)
+ (GHC.Generics.Rec0 a)
+ GHC.Generics.:*: GHC.Generics.S1
+ ('GHC.Generics.MetaSel
+ ('GHC.Maybe.Just
+ "d12a")
+ 'GHC.Generics.NoSourceUnpackedness
+ 'GHC.Generics.NoSourceStrictness
+ 'GHC.Generics.DecidedLazy)
+ (GHC.Generics.Rec0
+ (CanDoRep1_1.Da
+ a))))
+ type GHC.Generics.Rep1 CanDoRep1_1.Da = GHC.Generics.D1
('GHC.Generics.MetaData
- "Dc" "CanDoRep1_1" "main" 'GHC.Types.False)
+ "Da" "CanDoRep1_1" "main" 'GHC.Types.False)
(GHC.Generics.C1
('GHC.Generics.MetaCons
- "D0c" 'GHC.Generics.PrefixI 'GHC.Types.False)
+ "D0" 'GHC.Generics.PrefixI 'GHC.Types.False)
GHC.Generics.U1
GHC.Generics.:+: GHC.Generics.C1
('GHC.Generics.MetaCons
- "D1c"
+ "D1"
'GHC.Generics.PrefixI
'GHC.Types.True)
(GHC.Generics.S1
('GHC.Generics.MetaSel
- ('GHC.Maybe.Just "d11c")
+ ('GHC.Maybe.Just "d11a")
'GHC.Generics.NoSourceUnpackedness
'GHC.Generics.NoSourceStrictness
'GHC.Generics.DecidedLazy)
@@ -386,11 +386,11 @@ Derived type family instances:
GHC.Generics.:*: GHC.Generics.S1
('GHC.Generics.MetaSel
('GHC.Maybe.Just
- "d12c")
+ "d12a")
'GHC.Generics.NoSourceUnpackedness
'GHC.Generics.NoSourceStrictness
'GHC.Generics.DecidedLazy)
(GHC.Generics.Rec1
- CanDoRep1_1.Dc)))
+ CanDoRep1_1.Da)))
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)
View Lorry Controller Status