TH: make `Lift` and `TExp` levity-polymorphic
[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     Language.Haskell.TH.Syntax.liftTyped z = GHC.Base.pure (case z of)
50   
51   DrvEmptyData.$tVoid :: Data.Data.DataType
52   DrvEmptyData.$tVoid = Data.Data.mkDataType "Void" []
53
54 Derived type family instances:
55   type GHC.Generics.Rep (DrvEmptyData.Void a) = GHC.Generics.D1
56                                                   ('GHC.Generics.MetaData
57                                                      "Void" "DrvEmptyData" "main" 'GHC.Types.False)
58                                                   GHC.Generics.V1
59   type GHC.Generics.Rep1 DrvEmptyData.Void = GHC.Generics.D1
60                                                ('GHC.Generics.MetaData
61                                                   "Void" "DrvEmptyData" "main" 'GHC.Types.False)
62                                                GHC.Generics.V1
63
64
65
66 ==================== Filling in method body ====================
67 GHC.Read.Read [DrvEmptyData.Void a[ssk:2]]
68   GHC.Read.readsPrec = GHC.Read.$dmreadsPrec
69                          @(DrvEmptyData.Void a[ssk:2])
70
71
72
73 ==================== Filling in method body ====================
74 GHC.Show.Show [DrvEmptyData.Void a[ssk:2]]
75   GHC.Show.show = GHC.Show.$dmshow @(DrvEmptyData.Void a[ssk:2])
76
77
78
79 ==================== Filling in method body ====================
80 GHC.Show.Show [DrvEmptyData.Void a[ssk:2]]
81   GHC.Show.showList = GHC.Show.$dmshowList
82                         @(DrvEmptyData.Void a[ssk:2])
83
84
85
86 ==================== Filling in method body ====================
87 GHC.Classes.Ord [DrvEmptyData.Void a[ssk:2]]
88   GHC.Classes.< = GHC.Classes.$dm< @(DrvEmptyData.Void a[ssk:2])
89
90
91
92 ==================== Filling in method body ====================
93 GHC.Classes.Ord [DrvEmptyData.Void a[ssk:2]]
94   GHC.Classes.<= = GHC.Classes.$dm<= @(DrvEmptyData.Void a[ssk:2])
95
96
97
98 ==================== Filling in method body ====================
99 GHC.Classes.Ord [DrvEmptyData.Void a[ssk:2]]
100   GHC.Classes.> = GHC.Classes.$dm> @(DrvEmptyData.Void a[ssk:2])
101
102
103
104 ==================== Filling in method body ====================
105 GHC.Classes.Ord [DrvEmptyData.Void a[ssk:2]]
106   GHC.Classes.>= = GHC.Classes.$dm>= @(DrvEmptyData.Void a[ssk:2])
107
108
109
110 ==================== Filling in method body ====================
111 GHC.Classes.Ord [DrvEmptyData.Void a[ssk:2]]
112   GHC.Classes.max = GHC.Classes.$dmmax @(DrvEmptyData.Void a[ssk:2])
113
114
115
116 ==================== Filling in method body ====================
117 GHC.Classes.Ord [DrvEmptyData.Void a[ssk:2]]
118   GHC.Classes.min = GHC.Classes.$dmmin @(DrvEmptyData.Void a[ssk:2])
119
120
121
122 ==================== Filling in method body ====================
123 GHC.Classes.Eq [DrvEmptyData.Void a[ssk:2]]
124   GHC.Classes./= = GHC.Classes.$dm/= @(DrvEmptyData.Void a[ssk:2])
125
126
127
128 ==================== Filling in method body ====================
129 Data.Data.Data [DrvEmptyData.Void a[ssk:2]]
130   Data.Data.dataCast2 = Data.Data.$dmdataCast2
131                           @(DrvEmptyData.Void a[ssk:2])
132
133
134
135 ==================== Filling in method body ====================
136 Data.Data.Data [DrvEmptyData.Void a[ssk:2]]
137   Data.Data.gmapT = Data.Data.$dmgmapT @(DrvEmptyData.Void a[ssk:2])
138
139
140
141 ==================== Filling in method body ====================
142 Data.Data.Data [DrvEmptyData.Void a[ssk:2]]
143   Data.Data.gmapQl = Data.Data.$dmgmapQl
144                        @(DrvEmptyData.Void a[ssk:2])
145
146
147
148 ==================== Filling in method body ====================
149 Data.Data.Data [DrvEmptyData.Void a[ssk:2]]
150   Data.Data.gmapQr = Data.Data.$dmgmapQr
151                        @(DrvEmptyData.Void a[ssk:2])
152
153
154
155 ==================== Filling in method body ====================
156 Data.Data.Data [DrvEmptyData.Void a[ssk:2]]
157   Data.Data.gmapQ = Data.Data.$dmgmapQ @(DrvEmptyData.Void a[ssk:2])
158
159
160
161 ==================== Filling in method body ====================
162 Data.Data.Data [DrvEmptyData.Void a[ssk:2]]
163   Data.Data.gmapQi = Data.Data.$dmgmapQi
164                        @(DrvEmptyData.Void a[ssk:2])
165
166
167
168 ==================== Filling in method body ====================
169 Data.Data.Data [DrvEmptyData.Void a[ssk:2]]
170   Data.Data.gmapM = Data.Data.$dmgmapM @(DrvEmptyData.Void a[ssk:2])
171
172
173
174 ==================== Filling in method body ====================
175 Data.Data.Data [DrvEmptyData.Void a[ssk:2]]
176   Data.Data.gmapMp = Data.Data.$dmgmapMp
177                        @(DrvEmptyData.Void a[ssk:2])
178
179
180
181 ==================== Filling in method body ====================
182 Data.Data.Data [DrvEmptyData.Void a[ssk:2]]
183   Data.Data.gmapMo = Data.Data.$dmgmapMo
184                        @(DrvEmptyData.Void a[ssk:2])
185
186
187
188 ==================== Filling in method body ====================
189 Data.Foldable.Foldable [DrvEmptyData.Void]
190   Data.Foldable.fold = Data.Foldable.$dmfold @(DrvEmptyData.Void)
191
192
193
194 ==================== Filling in method body ====================
195 Data.Foldable.Foldable [DrvEmptyData.Void]
196   Data.Foldable.foldr = Data.Foldable.$dmfoldr @(DrvEmptyData.Void)
197
198
199
200 ==================== Filling in method body ====================
201 Data.Foldable.Foldable [DrvEmptyData.Void]
202   Data.Foldable.foldr' = Data.Foldable.$dmfoldr' @(DrvEmptyData.Void)
203
204
205
206 ==================== Filling in method body ====================
207 Data.Foldable.Foldable [DrvEmptyData.Void]
208   Data.Foldable.foldl = Data.Foldable.$dmfoldl @(DrvEmptyData.Void)
209
210
211
212 ==================== Filling in method body ====================
213 Data.Foldable.Foldable [DrvEmptyData.Void]
214   Data.Foldable.foldl' = Data.Foldable.$dmfoldl' @(DrvEmptyData.Void)
215
216
217
218 ==================== Filling in method body ====================
219 Data.Foldable.Foldable [DrvEmptyData.Void]
220   Data.Foldable.foldr1 = Data.Foldable.$dmfoldr1 @(DrvEmptyData.Void)
221
222
223
224 ==================== Filling in method body ====================
225 Data.Foldable.Foldable [DrvEmptyData.Void]
226   Data.Foldable.foldl1 = Data.Foldable.$dmfoldl1 @(DrvEmptyData.Void)
227
228
229
230 ==================== Filling in method body ====================
231 Data.Foldable.Foldable [DrvEmptyData.Void]
232   Data.Foldable.toList = Data.Foldable.$dmtoList @(DrvEmptyData.Void)
233
234
235
236 ==================== Filling in method body ====================
237 Data.Foldable.Foldable [DrvEmptyData.Void]
238   Data.Foldable.null = Data.Foldable.$dmnull @(DrvEmptyData.Void)
239
240
241
242 ==================== Filling in method body ====================
243 Data.Foldable.Foldable [DrvEmptyData.Void]
244   Data.Foldable.length = Data.Foldable.$dmlength @(DrvEmptyData.Void)
245
246
247
248 ==================== Filling in method body ====================
249 Data.Foldable.Foldable [DrvEmptyData.Void]
250   Data.Foldable.elem = Data.Foldable.$dmelem @(DrvEmptyData.Void)
251
252
253
254 ==================== Filling in method body ====================
255 Data.Foldable.Foldable [DrvEmptyData.Void]
256   Data.Foldable.maximum = Data.Foldable.$dmmaximum
257                             @(DrvEmptyData.Void)
258
259
260
261 ==================== Filling in method body ====================
262 Data.Foldable.Foldable [DrvEmptyData.Void]
263   Data.Foldable.minimum = Data.Foldable.$dmminimum
264                             @(DrvEmptyData.Void)
265
266
267
268 ==================== Filling in method body ====================
269 Data.Foldable.Foldable [DrvEmptyData.Void]
270   Data.Foldable.sum = Data.Foldable.$dmsum @(DrvEmptyData.Void)
271
272
273
274 ==================== Filling in method body ====================
275 Data.Foldable.Foldable [DrvEmptyData.Void]
276   Data.Foldable.product = Data.Foldable.$dmproduct
277                             @(DrvEmptyData.Void)
278
279
280
281 ==================== Filling in method body ====================
282 Data.Traversable.Traversable [DrvEmptyData.Void]
283   Data.Traversable.sequenceA = Data.Traversable.$dmsequenceA
284                                  @(DrvEmptyData.Void)
285
286
287
288 ==================== Filling in method body ====================
289 Data.Traversable.Traversable [DrvEmptyData.Void]
290   Data.Traversable.mapM = Data.Traversable.$dmmapM
291                             @(DrvEmptyData.Void)
292
293
294
295 ==================== Filling in method body ====================
296 Data.Traversable.Traversable [DrvEmptyData.Void]
297   Data.Traversable.sequence = Data.Traversable.$dmsequence
298                                 @(DrvEmptyData.Void)
299
300