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