75e9030bc702323c68e82b865590ec76269c42f2
[ghc.git] / testsuite / tests / deriving / should_compile / T14682.stderr
1
2 ==================== Derived instances ====================
3 Derived class instances:
4   instance GHC.Show.Show T14682.Foo where
5     GHC.Show.showsPrec a (T14682.Foo b1 b2)
6       = GHC.Show.showParen
7           (a GHC.Classes.>= 11)
8           ((GHC.Base..)
9              (GHC.Show.showString "Foo ")
10              ((GHC.Base..)
11                 (GHC.Show.showsPrec 11 b1)
12                 ((GHC.Base..) GHC.Show.showSpace (GHC.Show.showsPrec 11 b2))))
13   
14   instance Language.Haskell.TH.Syntax.Lift T14682.Foo where
15     Language.Haskell.TH.Syntax.lift (T14682.Foo a1 a2)
16       = Language.Haskell.TH.Lib.Internal.appE
17           (Language.Haskell.TH.Lib.Internal.appE
18              (Language.Haskell.TH.Lib.Internal.conE
19                 (Language.Haskell.TH.Syntax.mkNameG_d "main" "T14682" "Foo"))
20              (Language.Haskell.TH.Syntax.lift a1))
21           (Language.Haskell.TH.Syntax.lift a2)
22   
23   instance Data.Data.Data T14682.Foo where
24     Data.Data.gfoldl k z (T14682.Foo a1 a2)
25       = ((z T14682.Foo `k` a1) `k` a2)
26     Data.Data.gunfold k z _ = k (k (z T14682.Foo))
27     Data.Data.toConstr (T14682.Foo _ _) = T14682.$cFoo
28     Data.Data.dataTypeOf _ = T14682.$tFoo
29   
30   instance GHC.Classes.Eq T14682.Foo where
31     (GHC.Classes.==) (T14682.Foo a1 a2) (T14682.Foo b1 b2)
32       = (((a1 GHC.Classes.== b1))
33            GHC.Classes.&& ((a2 GHC.Classes.== b2)))
34   
35   instance GHC.Classes.Ord T14682.Foo where
36     GHC.Classes.compare a b
37       = case a of {
38           T14682.Foo a1 a2
39             -> case b of {
40                  T14682.Foo b1 b2
41                    -> case (GHC.Classes.compare a1 b1) of
42                         GHC.Types.LT -> GHC.Types.LT
43                         GHC.Types.EQ -> (a2 `GHC.Classes.compare` b2)
44                         GHC.Types.GT -> GHC.Types.GT } }
45     (GHC.Classes.<) a b
46       = case a of {
47           T14682.Foo a1 a2
48             -> case b of {
49                  T14682.Foo b1 b2
50                    -> case (GHC.Classes.compare a1 b1) of
51                         GHC.Types.LT -> GHC.Types.True
52                         GHC.Types.EQ -> (a2 GHC.Classes.< b2)
53                         GHC.Types.GT -> GHC.Types.False } }
54     (GHC.Classes.<=) a b = GHC.Classes.not ((GHC.Classes.<) b a)
55     (GHC.Classes.>) a b = (GHC.Classes.<) b a
56     (GHC.Classes.>=) a b = GHC.Classes.not ((GHC.Classes.<) a b)
57   
58   instance GHC.Arr.Ix T14682.Foo where
59     GHC.Arr.range (T14682.Foo a1 a2, T14682.Foo b1 b2)
60       = [T14682.Foo c1 c2 |
61            c1 <- GHC.Arr.range (a1, b1), c2 <- GHC.Arr.range (a2, b2)]
62     GHC.Arr.unsafeIndex
63       (T14682.Foo a1 a2, T14682.Foo b1 b2)
64       (T14682.Foo c1 c2)
65       = (GHC.Arr.unsafeIndex (a2, b2) c2
66            GHC.Num.+
67              (GHC.Arr.unsafeRangeSize (a2, b2)
68                 GHC.Num.* GHC.Arr.unsafeIndex (a1, b1) c1))
69     GHC.Arr.inRange
70       (T14682.Foo a1 a2, T14682.Foo b1 b2)
71       (T14682.Foo c1 c2)
72       = (GHC.Arr.inRange (a1, b1) c1
73            GHC.Classes.&& GHC.Arr.inRange (a2, b2) c2)
74   
75   T14682.$con2tag_B4iUvrAY4wB3YczpMJQUOX ::
76     T14682.Foo -> GHC.Prim.Int#
77   T14682.$con2tag_B4iUvrAY4wB3YczpMJQUOX (T14682.Foo _ _) = 0#
78   T14682.$tFoo :: Data.Data.DataType
79   T14682.$cFoo :: Data.Data.Constr
80   T14682.$tFoo = Data.Data.mkDataType "Foo" [T14682.$cFoo]
81   T14682.$cFoo
82     = Data.Data.mkConstr T14682.$tFoo "Foo" [] Data.Data.Prefix
83
84 Derived type family instances:
85
86
87
88 ==================== Filling in method body ====================
89 GHC.Show.Show [T14682.Foo]
90   GHC.Show.show = GHC.Show.$dmshow @(T14682.Foo)
91
92
93
94 ==================== Filling in method body ====================
95 GHC.Show.Show [T14682.Foo]
96   GHC.Show.showList = GHC.Show.$dmshowList @(T14682.Foo)
97
98
99
100 ==================== Filling in method body ====================
101 Language.Haskell.TH.Syntax.Lift [T14682.Foo]
102   Language.Haskell.TH.Syntax.liftTyped = Language.Haskell.TH.Syntax.$dmliftTyped
103                                            @(T14682.Foo)
104
105
106
107 ==================== Filling in method body ====================
108 Data.Data.Data [T14682.Foo]
109   Data.Data.dataCast1 = Data.Data.$dmdataCast1 @(T14682.Foo)
110
111
112
113 ==================== Filling in method body ====================
114 Data.Data.Data [T14682.Foo]
115   Data.Data.dataCast2 = Data.Data.$dmdataCast2 @(T14682.Foo)
116
117
118
119 ==================== Filling in method body ====================
120 Data.Data.Data [T14682.Foo]
121   Data.Data.gmapT = Data.Data.$dmgmapT @(T14682.Foo)
122
123
124
125 ==================== Filling in method body ====================
126 Data.Data.Data [T14682.Foo]
127   Data.Data.gmapQl = Data.Data.$dmgmapQl @(T14682.Foo)
128
129
130
131 ==================== Filling in method body ====================
132 Data.Data.Data [T14682.Foo]
133   Data.Data.gmapQr = Data.Data.$dmgmapQr @(T14682.Foo)
134
135
136
137 ==================== Filling in method body ====================
138 Data.Data.Data [T14682.Foo]
139   Data.Data.gmapQ = Data.Data.$dmgmapQ @(T14682.Foo)
140
141
142
143 ==================== Filling in method body ====================
144 Data.Data.Data [T14682.Foo]
145   Data.Data.gmapQi = Data.Data.$dmgmapQi @(T14682.Foo)
146
147
148
149 ==================== Filling in method body ====================
150 Data.Data.Data [T14682.Foo]
151   Data.Data.gmapM = Data.Data.$dmgmapM @(T14682.Foo)
152
153
154
155 ==================== Filling in method body ====================
156 Data.Data.Data [T14682.Foo]
157   Data.Data.gmapMp = Data.Data.$dmgmapMp @(T14682.Foo)
158
159
160
161 ==================== Filling in method body ====================
162 Data.Data.Data [T14682.Foo]
163   Data.Data.gmapMo = Data.Data.$dmgmapMo @(T14682.Foo)
164
165
166
167 ==================== Filling in method body ====================
168 GHC.Classes.Eq [T14682.Foo]
169   GHC.Classes./= = GHC.Classes.$dm/= @(T14682.Foo)
170
171
172
173 ==================== Filling in method body ====================
174 GHC.Classes.Ord [T14682.Foo]
175   GHC.Classes.max = GHC.Classes.$dmmax @(T14682.Foo)
176
177
178
179 ==================== Filling in method body ====================
180 GHC.Classes.Ord [T14682.Foo]
181   GHC.Classes.min = GHC.Classes.$dmmin @(T14682.Foo)
182
183
184
185 ==================== Filling in method body ====================
186 GHC.Arr.Ix [T14682.Foo]
187   GHC.Arr.index = GHC.Arr.$dmindex @(T14682.Foo)
188
189
190
191 ==================== Filling in method body ====================
192 GHC.Arr.Ix [T14682.Foo]
193   GHC.Arr.rangeSize = GHC.Arr.$dmrangeSize @(T14682.Foo)
194
195
196
197 ==================== Filling in method body ====================
198 GHC.Arr.Ix [T14682.Foo]
199   GHC.Arr.unsafeRangeSize = GHC.Arr.$dmunsafeRangeSize @(T14682.Foo)
200
201