Implement the EmptyDataDeriving proposal
[ghc.git] / testsuite / tests / deriving / should_compile / drv-empty-data.stderr
1
2 ==================== Derived instances ====================
3 Derived class instances:
4   instance GHC.Read.Read (DrvEmptyData.Void a) where
5     GHC.Read.readPrec = Text.ParserCombinators.ReadPrec.pfail
6     GHC.Read.readList = GHC.Read.readListDefault
7     GHC.Read.readListPrec = GHC.Read.readListPrecDefault
8   
9   instance GHC.Show.Show (DrvEmptyData.Void a) where
10     GHC.Show.showsPrec z = case z of
11   
12   instance GHC.Classes.Ord (DrvEmptyData.Void a) where
13     GHC.Classes.compare _ z = GHC.Types.EQ
14   
15   instance GHC.Classes.Eq (DrvEmptyData.Void a) where
16     (GHC.Classes.==) _ z = GHC.Types.True
17   
18   instance Data.Data.Data a =>
19            Data.Data.Data (DrvEmptyData.Void a) where
20     Data.Data.gfoldl _ _ z = case z of
21     Data.Data.gunfold k z c = case Data.Data.constrIndex c of
22     Data.Data.toConstr z = case z of
23     Data.Data.dataTypeOf _ = DrvEmptyData.$tVoid
24     Data.Data.dataCast1 f = Data.Typeable.gcast1 f
25   
26   instance GHC.Base.Functor DrvEmptyData.Void where
27     GHC.Base.fmap _ z = case z of
28     (GHC.Base.<$) _ z = case z of
29   
30   instance Data.Foldable.Foldable DrvEmptyData.Void where
31     Data.Foldable.foldMap _ z = GHC.Base.mempty
32   
33   instance Data.Traversable.Traversable DrvEmptyData.Void where
34     Data.Traversable.traverse _ z = GHC.Base.pure (case z of)
35   
36   instance GHC.Generics.Generic (DrvEmptyData.Void a) where
37     GHC.Generics.from x
38       = GHC.Generics.M1 (case x of { x -> case x of })
39     GHC.Generics.to (GHC.Generics.M1 x) = case x of { x -> case x of }
40   
41   instance GHC.Generics.Generic1 DrvEmptyData.Void where
42     GHC.Generics.from1 x
43       = GHC.Generics.M1 (case x of { x -> case x of })
44     GHC.Generics.to1 (GHC.Generics.M1 x) = case x of { x -> case x of }
45   
46   instance Language.Haskell.TH.Syntax.Lift
47              (DrvEmptyData.Void a) where
48     Language.Haskell.TH.Syntax.lift z = GHC.Base.pure (case z of)
49   
50   DrvEmptyData.$tVoid :: Data.Data.DataType
51   DrvEmptyData.$tVoid = Data.Data.mkDataType "Void" []
52
53 Derived type family instances:
54   type GHC.Generics.Rep (DrvEmptyData.Void a) = GHC.Generics.D1
55                                                   ('GHC.Generics.MetaData
56                                                      "Void" "DrvEmptyData" "main" 'GHC.Types.False)
57                                                   GHC.Generics.V1
58   type GHC.Generics.Rep1 DrvEmptyData.Void = GHC.Generics.D1
59                                                ('GHC.Generics.MetaData
60                                                   "Void" "DrvEmptyData" "main" 'GHC.Types.False)
61                                                GHC.Generics.V1
62
63
64
65 ==================== Filling in method body ====================
66 GHC.Read.Read [DrvEmptyData.Void a[ssk:2]]
67   GHC.Read.readsPrec = GHC.Read.$dmreadsPrec
68                          @(DrvEmptyData.Void a[ssk:2])
69
70
71
72 ==================== Filling in method body ====================
73 GHC.Show.Show [DrvEmptyData.Void a[ssk:2]]
74   GHC.Show.show = GHC.Show.$dmshow @(DrvEmptyData.Void a[ssk:2])
75
76
77
78 ==================== Filling in method body ====================
79 GHC.Show.Show [DrvEmptyData.Void a[ssk:2]]
80   GHC.Show.showList = GHC.Show.$dmshowList
81                         @(DrvEmptyData.Void a[ssk:2])
82
83
84
85 ==================== Filling in method body ====================
86 GHC.Classes.Ord [DrvEmptyData.Void a[ssk:2]]
87   GHC.Classes.< = GHC.Classes.$dm< @(DrvEmptyData.Void a[ssk:2])
88
89
90
91 ==================== Filling in method body ====================
92 GHC.Classes.Ord [DrvEmptyData.Void a[ssk:2]]
93   GHC.Classes.<= = GHC.Classes.$dm<= @(DrvEmptyData.Void a[ssk:2])
94
95
96
97 ==================== Filling in method body ====================
98 GHC.Classes.Ord [DrvEmptyData.Void a[ssk:2]]
99   GHC.Classes.> = GHC.Classes.$dm> @(DrvEmptyData.Void a[ssk:2])
100
101
102
103 ==================== Filling in method body ====================
104 GHC.Classes.Ord [DrvEmptyData.Void a[ssk:2]]
105   GHC.Classes.>= = GHC.Classes.$dm>= @(DrvEmptyData.Void a[ssk:2])
106
107
108
109 ==================== Filling in method body ====================
110 GHC.Classes.Ord [DrvEmptyData.Void a[ssk:2]]
111   GHC.Classes.max = GHC.Classes.$dmmax @(DrvEmptyData.Void a[ssk:2])
112
113
114
115 ==================== Filling in method body ====================
116 GHC.Classes.Ord [DrvEmptyData.Void a[ssk:2]]
117   GHC.Classes.min = GHC.Classes.$dmmin @(DrvEmptyData.Void a[ssk:2])
118
119
120
121 ==================== Filling in method body ====================
122 GHC.Classes.Eq [DrvEmptyData.Void a[ssk:2]]
123   GHC.Classes./= = GHC.Classes.$dm/= @(DrvEmptyData.Void a[ssk:2])
124
125
126
127 ==================== Filling in method body ====================
128 Data.Data.Data [DrvEmptyData.Void a[ssk:2]]
129   Data.Data.dataCast2 = Data.Data.$dmdataCast2
130                           @(DrvEmptyData.Void a[ssk:2])
131
132
133
134 ==================== Filling in method body ====================
135 Data.Data.Data [DrvEmptyData.Void a[ssk:2]]
136   Data.Data.gmapT = Data.Data.$dmgmapT @(DrvEmptyData.Void a[ssk:2])
137
138
139
140 ==================== Filling in method body ====================
141 Data.Data.Data [DrvEmptyData.Void a[ssk:2]]
142   Data.Data.gmapQl = Data.Data.$dmgmapQl
143                        @(DrvEmptyData.Void a[ssk:2])
144
145
146
147 ==================== Filling in method body ====================
148 Data.Data.Data [DrvEmptyData.Void a[ssk:2]]
149   Data.Data.gmapQr = Data.Data.$dmgmapQr
150                        @(DrvEmptyData.Void a[ssk:2])
151
152
153
154 ==================== Filling in method body ====================
155 Data.Data.Data [DrvEmptyData.Void a[ssk:2]]
156   Data.Data.gmapQ = Data.Data.$dmgmapQ @(DrvEmptyData.Void a[ssk:2])
157
158
159
160 ==================== Filling in method body ====================
161 Data.Data.Data [DrvEmptyData.Void a[ssk:2]]
162   Data.Data.gmapQi = Data.Data.$dmgmapQi
163                        @(DrvEmptyData.Void a[ssk:2])
164
165
166
167 ==================== Filling in method body ====================
168 Data.Data.Data [DrvEmptyData.Void a[ssk:2]]
169   Data.Data.gmapM = Data.Data.$dmgmapM @(DrvEmptyData.Void a[ssk:2])
170
171
172
173 ==================== Filling in method body ====================
174 Data.Data.Data [DrvEmptyData.Void a[ssk:2]]
175   Data.Data.gmapMp = Data.Data.$dmgmapMp
176                        @(DrvEmptyData.Void a[ssk:2])
177
178
179
180 ==================== Filling in method body ====================
181 Data.Data.Data [DrvEmptyData.Void a[ssk:2]]
182   Data.Data.gmapMo = Data.Data.$dmgmapMo
183                        @(DrvEmptyData.Void a[ssk:2])
184
185
186
187 ==================== Filling in method body ====================
188 Data.Foldable.Foldable [DrvEmptyData.Void]
189   Data.Foldable.fold = Data.Foldable.$dmfold @(DrvEmptyData.Void)
190
191
192
193 ==================== Filling in method body ====================
194 Data.Foldable.Foldable [DrvEmptyData.Void]
195   Data.Foldable.foldr = Data.Foldable.$dmfoldr @(DrvEmptyData.Void)
196
197
198
199 ==================== Filling in method body ====================
200 Data.Foldable.Foldable [DrvEmptyData.Void]
201   Data.Foldable.foldr' = Data.Foldable.$dmfoldr' @(DrvEmptyData.Void)
202
203
204
205 ==================== Filling in method body ====================
206 Data.Foldable.Foldable [DrvEmptyData.Void]
207   Data.Foldable.foldl = Data.Foldable.$dmfoldl @(DrvEmptyData.Void)
208
209
210
211 ==================== Filling in method body ====================
212 Data.Foldable.Foldable [DrvEmptyData.Void]
213   Data.Foldable.foldl' = Data.Foldable.$dmfoldl' @(DrvEmptyData.Void)
214
215
216
217 ==================== Filling in method body ====================
218 Data.Foldable.Foldable [DrvEmptyData.Void]
219   Data.Foldable.foldr1 = Data.Foldable.$dmfoldr1 @(DrvEmptyData.Void)
220
221
222
223 ==================== Filling in method body ====================
224 Data.Foldable.Foldable [DrvEmptyData.Void]
225   Data.Foldable.foldl1 = Data.Foldable.$dmfoldl1 @(DrvEmptyData.Void)
226
227
228
229 ==================== Filling in method body ====================
230 Data.Foldable.Foldable [DrvEmptyData.Void]
231   Data.Foldable.toList = Data.Foldable.$dmtoList @(DrvEmptyData.Void)
232
233
234
235 ==================== Filling in method body ====================
236 Data.Foldable.Foldable [DrvEmptyData.Void]
237   Data.Foldable.null = Data.Foldable.$dmnull @(DrvEmptyData.Void)
238
239
240
241 ==================== Filling in method body ====================
242 Data.Foldable.Foldable [DrvEmptyData.Void]
243   Data.Foldable.length = Data.Foldable.$dmlength @(DrvEmptyData.Void)
244
245
246
247 ==================== Filling in method body ====================
248 Data.Foldable.Foldable [DrvEmptyData.Void]
249   Data.Foldable.elem = Data.Foldable.$dmelem @(DrvEmptyData.Void)
250
251
252
253 ==================== Filling in method body ====================
254 Data.Foldable.Foldable [DrvEmptyData.Void]
255   Data.Foldable.maximum = Data.Foldable.$dmmaximum
256                             @(DrvEmptyData.Void)
257
258
259
260 ==================== Filling in method body ====================
261 Data.Foldable.Foldable [DrvEmptyData.Void]
262   Data.Foldable.minimum = Data.Foldable.$dmminimum
263                             @(DrvEmptyData.Void)
264
265
266
267 ==================== Filling in method body ====================
268 Data.Foldable.Foldable [DrvEmptyData.Void]
269   Data.Foldable.sum = Data.Foldable.$dmsum @(DrvEmptyData.Void)
270
271
272
273 ==================== Filling in method body ====================
274 Data.Foldable.Foldable [DrvEmptyData.Void]
275   Data.Foldable.product = Data.Foldable.$dmproduct
276                             @(DrvEmptyData.Void)
277
278
279
280 ==================== Filling in method body ====================
281 Data.Traversable.Traversable [DrvEmptyData.Void]
282   Data.Traversable.sequenceA = Data.Traversable.$dmsequenceA
283                                  @(DrvEmptyData.Void)
284
285
286
287 ==================== Filling in method body ====================
288 Data.Traversable.Traversable [DrvEmptyData.Void]
289   Data.Traversable.mapM = Data.Traversable.$dmmapM
290                             @(DrvEmptyData.Void)
291
292
293
294 ==================== Filling in method body ====================
295 Data.Traversable.Traversable [DrvEmptyData.Void]
296   Data.Traversable.sequence = Data.Traversable.$dmsequence
297                                 @(DrvEmptyData.Void)
298
299