Allow GeneralizedNewtypeDeriving for classes with associated type families
[ghc.git] / testsuite / tests / generics / GenDerivOutput.stderr
1
2 ==================== Derived instances ====================
3 Derived class instances:
4   instance GHC.Generics.Generic (GenDerivOutput.List a) where
5     GHC.Generics.from x
6       = GHC.Generics.M1
7           (case x of {
8              GenDerivOutput.Nil
9                -> GHC.Generics.L1 (GHC.Generics.M1 GHC.Generics.U1)
10              GenDerivOutput.Cons g1 g2
11                -> GHC.Generics.R1
12                     (GHC.Generics.M1
13                        ((GHC.Generics.:*:)
14                           (GHC.Generics.M1 (GHC.Generics.K1 g1))
15                           (GHC.Generics.M1 (GHC.Generics.K1 g2)))) })
16     GHC.Generics.to (GHC.Generics.M1 x)
17       = case x of {
18           GHC.Generics.L1 (GHC.Generics.M1 GHC.Generics.U1)
19             -> GenDerivOutput.Nil
20           GHC.Generics.R1 (GHC.Generics.M1 ((GHC.Generics.:*:) (GHC.Generics.M1 (GHC.Generics.K1 g1))
21                                                                (GHC.Generics.M1 (GHC.Generics.K1 g2))))
22             -> GenDerivOutput.Cons g1 g2 }
23   
24   instance GHC.Generics.Generic1 GenDerivOutput.List where
25     GHC.Generics.from1 x
26       = GHC.Generics.M1
27           (case x of {
28              GenDerivOutput.Nil
29                -> GHC.Generics.L1 (GHC.Generics.M1 GHC.Generics.U1)
30              GenDerivOutput.Cons g1 g2
31                -> GHC.Generics.R1
32                     (GHC.Generics.M1
33                        ((GHC.Generics.:*:)
34                           (GHC.Generics.M1 (GHC.Generics.Par1 g1))
35                           (GHC.Generics.M1 (GHC.Generics.Rec1 g2)))) })
36     GHC.Generics.to1 (GHC.Generics.M1 x)
37       = case x of {
38           GHC.Generics.L1 (GHC.Generics.M1 GHC.Generics.U1)
39             -> GenDerivOutput.Nil
40           GHC.Generics.R1 (GHC.Generics.M1 ((GHC.Generics.:*:) (GHC.Generics.M1 g1)
41                                                                (GHC.Generics.M1 g2)))
42             -> GenDerivOutput.Cons
43                  (GHC.Generics.unPar1 g1) (GHC.Generics.unRec1 g2) }
44   
45   instance GHC.Base.Functor GenDerivOutput.List where
46     GHC.Base.fmap f GenDerivOutput.Nil = GenDerivOutput.Nil
47     GHC.Base.fmap f (GenDerivOutput.Cons a1 a2)
48       = GenDerivOutput.Cons (f a1) (GHC.Base.fmap f a2)
49   
50   instance GHC.Generics.Generic (GenDerivOutput.Rose a) where
51     GHC.Generics.from x
52       = GHC.Generics.M1
53           (case x of {
54              GenDerivOutput.Empty
55                -> GHC.Generics.L1 (GHC.Generics.M1 GHC.Generics.U1)
56              GenDerivOutput.Rose g1 g2
57                -> GHC.Generics.R1
58                     (GHC.Generics.M1
59                        ((GHC.Generics.:*:)
60                           (GHC.Generics.M1 (GHC.Generics.K1 g1))
61                           (GHC.Generics.M1 (GHC.Generics.K1 g2)))) })
62     GHC.Generics.to (GHC.Generics.M1 x)
63       = case x of {
64           GHC.Generics.L1 (GHC.Generics.M1 GHC.Generics.U1)
65             -> GenDerivOutput.Empty
66           GHC.Generics.R1 (GHC.Generics.M1 ((GHC.Generics.:*:) (GHC.Generics.M1 (GHC.Generics.K1 g1))
67                                                                (GHC.Generics.M1 (GHC.Generics.K1 g2))))
68             -> GenDerivOutput.Rose g1 g2 }
69   
70   instance GHC.Generics.Generic1 GenDerivOutput.Rose where
71     GHC.Generics.from1 x
72       = GHC.Generics.M1
73           (case x of {
74              GenDerivOutput.Empty
75                -> GHC.Generics.L1 (GHC.Generics.M1 GHC.Generics.U1)
76              GenDerivOutput.Rose g1 g2
77                -> GHC.Generics.R1
78                     (GHC.Generics.M1
79                        ((GHC.Generics.:*:)
80                           (GHC.Generics.M1 (GHC.Generics.Par1 g1))
81                           (GHC.Generics.M1
82                              ((GHC.Base..)
83                                 GHC.Generics.Comp1 (GHC.Base.fmap GHC.Generics.Rec1) g2)))) })
84     GHC.Generics.to1 (GHC.Generics.M1 x)
85       = case x of {
86           GHC.Generics.L1 (GHC.Generics.M1 GHC.Generics.U1)
87             -> GenDerivOutput.Empty
88           GHC.Generics.R1 (GHC.Generics.M1 ((GHC.Generics.:*:) (GHC.Generics.M1 g1)
89                                                                (GHC.Generics.M1 g2)))
90             -> GenDerivOutput.Rose
91                  (GHC.Generics.unPar1 g1)
92                  ((GHC.Base..)
93                     (GHC.Base.fmap GHC.Generics.unRec1) GHC.Generics.unComp1 g2) }
94   
95
96 Derived type family instances:
97   type GHC.Generics.Rep (GenDerivOutput.List a) = GHC.Generics.D1
98                                                     ('GHC.Generics.MetaData
99                                                        "List"
100                                                        "GenDerivOutput"
101                                                        "main"
102                                                        'GHC.Types.False)
103                                                     (GHC.Generics.C1
104                                                        ('GHC.Generics.MetaCons
105                                                           "Nil"
106                                                           'GHC.Generics.PrefixI
107                                                           'GHC.Types.False)
108                                                        GHC.Generics.U1
109                                                      GHC.Generics.:+: GHC.Generics.C1
110                                                                         ('GHC.Generics.MetaCons
111                                                                            "Cons"
112                                                                            'GHC.Generics.PrefixI
113                                                                            'GHC.Types.True)
114                                                                         (GHC.Generics.S1
115                                                                            ('GHC.Generics.MetaSel
116                                                                               ('GHC.Base.Just
117                                                                                  "element")
118                                                                               'GHC.Generics.NoSourceUnpackedness
119                                                                               'GHC.Generics.NoSourceStrictness
120                                                                               'GHC.Generics.DecidedLazy)
121                                                                            (GHC.Generics.Rec0 a)
122                                                                          GHC.Generics.:*: GHC.Generics.S1
123                                                                                             ('GHC.Generics.MetaSel
124                                                                                                ('GHC.Base.Just
125                                                                                                   "rest")
126                                                                                                'GHC.Generics.NoSourceUnpackedness
127                                                                                                'GHC.Generics.NoSourceStrictness
128                                                                                                'GHC.Generics.DecidedLazy)
129                                                                                             (GHC.Generics.Rec0
130                                                                                                (GenDerivOutput.List
131                                                                                                   a))))
132   type GHC.Generics.Rep1 GenDerivOutput.List = GHC.Generics.D1
133                                                  ('GHC.Generics.MetaData
134                                                     "List" "GenDerivOutput" "main" 'GHC.Types.False)
135                                                  (GHC.Generics.C1
136                                                     ('GHC.Generics.MetaCons
137                                                        "Nil" 'GHC.Generics.PrefixI 'GHC.Types.False)
138                                                     GHC.Generics.U1
139                                                   GHC.Generics.:+: GHC.Generics.C1
140                                                                      ('GHC.Generics.MetaCons
141                                                                         "Cons"
142                                                                         'GHC.Generics.PrefixI
143                                                                         'GHC.Types.True)
144                                                                      (GHC.Generics.S1
145                                                                         ('GHC.Generics.MetaSel
146                                                                            ('GHC.Base.Just
147                                                                               "element")
148                                                                            'GHC.Generics.NoSourceUnpackedness
149                                                                            'GHC.Generics.NoSourceStrictness
150                                                                            'GHC.Generics.DecidedLazy)
151                                                                         GHC.Generics.Par1
152                                                                       GHC.Generics.:*: GHC.Generics.S1
153                                                                                          ('GHC.Generics.MetaSel
154                                                                                             ('GHC.Base.Just
155                                                                                                "rest")
156                                                                                             'GHC.Generics.NoSourceUnpackedness
157                                                                                             'GHC.Generics.NoSourceStrictness
158                                                                                             'GHC.Generics.DecidedLazy)
159                                                                                          (GHC.Generics.Rec1
160                                                                                             GenDerivOutput.List)))
161   type GHC.Generics.Rep (GenDerivOutput.Rose a) = GHC.Generics.D1
162                                                     ('GHC.Generics.MetaData
163                                                        "Rose"
164                                                        "GenDerivOutput"
165                                                        "main"
166                                                        'GHC.Types.False)
167                                                     (GHC.Generics.C1
168                                                        ('GHC.Generics.MetaCons
169                                                           "Empty"
170                                                           'GHC.Generics.PrefixI
171                                                           'GHC.Types.False)
172                                                        GHC.Generics.U1
173                                                      GHC.Generics.:+: GHC.Generics.C1
174                                                                         ('GHC.Generics.MetaCons
175                                                                            "Rose"
176                                                                            'GHC.Generics.PrefixI
177                                                                            'GHC.Types.False)
178                                                                         (GHC.Generics.S1
179                                                                            ('GHC.Generics.MetaSel
180                                                                               'GHC.Base.Nothing
181                                                                               'GHC.Generics.NoSourceUnpackedness
182                                                                               'GHC.Generics.NoSourceStrictness
183                                                                               'GHC.Generics.DecidedLazy)
184                                                                            (GHC.Generics.Rec0 a)
185                                                                          GHC.Generics.:*: GHC.Generics.S1
186                                                                                             ('GHC.Generics.MetaSel
187                                                                                                'GHC.Base.Nothing
188                                                                                                'GHC.Generics.NoSourceUnpackedness
189                                                                                                'GHC.Generics.NoSourceStrictness
190                                                                                                'GHC.Generics.DecidedLazy)
191                                                                                             (GHC.Generics.Rec0
192                                                                                                (GenDerivOutput.List
193                                                                                                   (GenDerivOutput.Rose
194                                                                                                      a)))))
195   type GHC.Generics.Rep1 GenDerivOutput.Rose = GHC.Generics.D1
196                                                  ('GHC.Generics.MetaData
197                                                     "Rose" "GenDerivOutput" "main" 'GHC.Types.False)
198                                                  (GHC.Generics.C1
199                                                     ('GHC.Generics.MetaCons
200                                                        "Empty"
201                                                        'GHC.Generics.PrefixI
202                                                        'GHC.Types.False)
203                                                     GHC.Generics.U1
204                                                   GHC.Generics.:+: GHC.Generics.C1
205                                                                      ('GHC.Generics.MetaCons
206                                                                         "Rose"
207                                                                         'GHC.Generics.PrefixI
208                                                                         'GHC.Types.False)
209                                                                      (GHC.Generics.S1
210                                                                         ('GHC.Generics.MetaSel
211                                                                            'GHC.Base.Nothing
212                                                                            'GHC.Generics.NoSourceUnpackedness
213                                                                            'GHC.Generics.NoSourceStrictness
214                                                                            'GHC.Generics.DecidedLazy)
215                                                                         GHC.Generics.Par1
216                                                                       GHC.Generics.:*: GHC.Generics.S1
217                                                                                          ('GHC.Generics.MetaSel
218                                                                                             'GHC.Base.Nothing
219                                                                                             'GHC.Generics.NoSourceUnpackedness
220                                                                                             'GHC.Generics.NoSourceStrictness
221                                                                                             'GHC.Generics.DecidedLazy)
222                                                                                          (GenDerivOutput.List
223                                                                                           GHC.Generics.:.: GHC.Generics.Rec1
224                                                                                                              GenDerivOutput.Rose)))
225
226
227
228 ==================== Filling in method body ====================
229 GHC.Base.Functor [GenDerivOutput.List]
230   GHC.Base.<$ = GHC.Base.$dm<$ @GenDerivOutput.List
231
232