Built-in Natural literals in Core
[ghc.git] / testsuite / tests / generics / GenDerivOutput.stderr
index b703b47..9c008e0 100644 (file)
 
 ==================== Derived instances ====================
-Derived instances:
+Derived class instances:
   instance GHC.Generics.Generic (GenDerivOutput.List a) where
-    GHC.Generics.from GenDerivOutput.Nil
+    GHC.Generics.from x
       = GHC.Generics.M1
+          (case x of
+             GenDerivOutput.Nil
+               -> GHC.Generics.L1 (GHC.Generics.M1 GHC.Generics.U1)
+             GenDerivOutput.Cons 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))
-    GHC.Generics.from (GenDerivOutput.Cons g1 g2)
-      = GHC.Generics.M1
-          (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 (GHC.Generics.L1 (GHC.Generics.M1 GHC.Generics.U1)))
-      = GenDerivOutput.Nil
-    GHC.Generics.to
-      (GHC.Generics.M1 (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
-  
-  instance GHC.Generics.Datatype GenDerivOutput.D1List where
-    GHC.Generics.datatypeName _ = "List"
-    GHC.Generics.moduleName _ = "GenDerivOutput"
+            -> 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.Cons g1 g2
   
-  instance GHC.Generics.Constructor GenDerivOutput.C1_0List where
-    GHC.Generics.conName _ = "Nil"
+  instance GHC.Generics.Generic1 GenDerivOutput.List where
+    GHC.Generics.from1 x
+      = GHC.Generics.M1
+          (case x of
+             GenDerivOutput.Nil
+               -> GHC.Generics.L1 (GHC.Generics.M1 GHC.Generics.U1)
+             GenDerivOutput.Cons 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.to1 (GHC.Generics.M1 x)
+      = case x of
+          (GHC.Generics.L1 (GHC.Generics.M1 GHC.Generics.U1))
+            -> GenDerivOutput.Nil
+          (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.Generics.Constructor GenDerivOutput.C1_1List where
-    GHC.Generics.conName _ = "Cons"
-    GHC.Generics.conIsRecord _ = GHC.Types.True
+  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)
   
-  instance GHC.Generics.Selector GenDerivOutput.S1_1_0List where
-    GHC.Generics.selName _ = "element"
+  instance GHC.Generics.Generic (GenDerivOutput.Rose a) where
+    GHC.Generics.from x
+      = GHC.Generics.M1
+          (case x of
+             GenDerivOutput.Empty
+               -> GHC.Generics.L1 (GHC.Generics.M1 GHC.Generics.U1)
+             GenDerivOutput.Rose 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))
+            -> 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.Rose g1 g2
   
-  instance GHC.Generics.Selector GenDerivOutput.S1_1_1List where
-    GHC.Generics.selName _ = "rest"
+  instance GHC.Generics.Generic1 GenDerivOutput.Rose where
+    GHC.Generics.from1 x
+      = GHC.Generics.M1
+          (case x of
+             GenDerivOutput.Empty
+               -> GHC.Generics.L1 (GHC.Generics.M1 GHC.Generics.U1)
+             GenDerivOutput.Rose 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.to1 (GHC.Generics.M1 x)
+      = case x of
+          (GHC.Generics.L1 (GHC.Generics.M1 GHC.Generics.U1))
+            -> GenDerivOutput.Empty
+          (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)
   
 
-Generic representation:
-  
-  Generated datatypes for meta-information:
-    GenDerivOutput.D1List
-    GenDerivOutput.C1_0List
-    GenDerivOutput.C1_1List
-    GenDerivOutput.S1_1_0List
-    GenDerivOutput.S1_1_1List
-  
-  Representation types:
-    type GHC.Generics.Rep (GenDerivOutput.List a) = GHC.Generics.D1
-                                                      GenDerivOutput.D1List
-                                                      (GHC.Generics.C1
-                                                         GenDerivOutput.C1_0List GHC.Generics.U1
-                                                       GHC.Generics.:+: GHC.Generics.C1
-                                                                          GenDerivOutput.C1_1List
-                                                                          (GHC.Generics.S1
-                                                                             GenDerivOutput.S1_1_0List
-                                                                             (GHC.Generics.Par0 a)
-                                                                           GHC.Generics.:*: GHC.Generics.S1
-                                                                                              GenDerivOutput.S1_1_1List
-                                                                                              (GHC.Generics.Rec0
-                                                                                                 (GenDerivOutput.List
-                                                                                                    a))))
+Derived type family instances:
+  type GHC.Generics.Rep (GenDerivOutput.List a) = GHC.Generics.D1
+                                                    ('GHC.Generics.MetaData
+                                                       "List"
+                                                       "GenDerivOutput"
+                                                       "main"
+                                                       'GHC.Types.False)
+                                                    (GHC.Generics.C1
+                                                       ('GHC.Generics.MetaCons
+                                                          "Nil"
+                                                          'GHC.Generics.PrefixI
+                                                          'GHC.Types.False)
+                                                       GHC.Generics.U1
+                                                     GHC.Generics.:+: GHC.Generics.C1
+                                                                        ('GHC.Generics.MetaCons
+                                                                           "Cons"
+                                                                           'GHC.Generics.PrefixI
+                                                                           'GHC.Types.True)
+                                                                        (GHC.Generics.S1
+                                                                           ('GHC.Generics.MetaSel
+                                                                              ('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.Just
+                                                                                                  "rest")
+                                                                                               'GHC.Generics.NoSourceUnpackedness
+                                                                                               'GHC.Generics.NoSourceStrictness
+                                                                                               'GHC.Generics.DecidedLazy)
+                                                                                            (GHC.Generics.Rec0
+                                                                                               (GenDerivOutput.List
+                                                                                                  a))))
+  type GHC.Generics.Rep1 GenDerivOutput.List = GHC.Generics.D1
+                                                 ('GHC.Generics.MetaData
+                                                    "List" "GenDerivOutput" "main" 'GHC.Types.False)
+                                                 (GHC.Generics.C1
+                                                    ('GHC.Generics.MetaCons
+                                                       "Nil" 'GHC.Generics.PrefixI 'GHC.Types.False)
+                                                    GHC.Generics.U1
+                                                  GHC.Generics.:+: GHC.Generics.C1
+                                                                     ('GHC.Generics.MetaCons
+                                                                        "Cons"
+                                                                        'GHC.Generics.PrefixI
+                                                                        'GHC.Types.True)
+                                                                     (GHC.Generics.S1
+                                                                        ('GHC.Generics.MetaSel
+                                                                           ('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.Just
+                                                                                               "rest")
+                                                                                            'GHC.Generics.NoSourceUnpackedness
+                                                                                            'GHC.Generics.NoSourceStrictness
+                                                                                            'GHC.Generics.DecidedLazy)
+                                                                                         (GHC.Generics.Rec1
+                                                                                            GenDerivOutput.List)))
+  type GHC.Generics.Rep (GenDerivOutput.Rose a) = GHC.Generics.D1
+                                                    ('GHC.Generics.MetaData
+                                                       "Rose"
+                                                       "GenDerivOutput"
+                                                       "main"
+                                                       'GHC.Types.False)
+                                                    (GHC.Generics.C1
+                                                       ('GHC.Generics.MetaCons
+                                                          "Empty"
+                                                          'GHC.Generics.PrefixI
+                                                          'GHC.Types.False)
+                                                       GHC.Generics.U1
+                                                     GHC.Generics.:+: GHC.Generics.C1
+                                                                        ('GHC.Generics.MetaCons
+                                                                           "Rose"
+                                                                           'GHC.Generics.PrefixI
+                                                                           'GHC.Types.False)
+                                                                        (GHC.Generics.S1
+                                                                           ('GHC.Generics.MetaSel
+                                                                              '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.Nothing
+                                                                                               '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
+                                                 ('GHC.Generics.MetaData
+                                                    "Rose" "GenDerivOutput" "main" 'GHC.Types.False)
+                                                 (GHC.Generics.C1
+                                                    ('GHC.Generics.MetaCons
+                                                       "Empty"
+                                                       'GHC.Generics.PrefixI
+                                                       'GHC.Types.False)
+                                                    GHC.Generics.U1
+                                                  GHC.Generics.:+: GHC.Generics.C1
+                                                                     ('GHC.Generics.MetaCons
+                                                                        "Rose"
+                                                                        'GHC.Generics.PrefixI
+                                                                        'GHC.Types.False)
+                                                                     (GHC.Generics.S1
+                                                                        ('GHC.Generics.MetaSel
+                                                                           '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.Nothing
+                                                                                            'GHC.Generics.NoSourceUnpackedness
+                                                                                            'GHC.Generics.NoSourceStrictness
+                                                                                            'GHC.Generics.DecidedLazy)
+                                                                                         (GenDerivOutput.List
+                                                                                          GHC.Generics.:.: GHC.Generics.Rec1
+                                                                                                             GenDerivOutput.Rose)))
+
+