1 Renamer stats: 6 interfaces read
2 4 class decls imported, out of 17 read
3 0 data decls imported (of which 0 abstractly), out of 9 read
4 0 newtype decls imported (of which 0 abstractly), out of 0 read
5 1 type synonym decls imported, out of 5 read
6 43 value signatures imported, out of 1157 read
7 31 instance decls imported, out of 166 read
10 ================================================================================
13 PrelNum.$d35{-rNn,p-} ::
14 {PrelBase.Eq{-23,p-} PrelBase.Integer{-3h,p-}}
15 PrelNum.$d33{-rNl,p-} ::
16 {PrelBase.Num{-2c,p-} PrelBase.Integer{-3h,p-}}
17 PrelNum.$d29{-rNg,p-} ::
18 {PrelBase.Show{-2i,p-} PrelBase.Integer{-3h,p-}}
19 PrelNum.$d18{-rN4,p-} ::
20 {PrelBase.Eq{-23,p-} PrelBase.Double{-3a,p-}}
21 PrelNum.$d16{-rN2,p-} ::
22 {PrelBase.Num{-2c,p-} PrelBase.Double{-3a,p-}}
23 PrelNum.$d10{-rMW,p-} ::
24 {PrelBase.Show{-2i,p-} PrelBase.Double{-3a,p-}}
25 PrelTup.$d9{-rKy,p-} ::
28 {PrelBase.Eq{-23,p-} a_rWB, PrelBase.Eq{-23,p-} b_rWC}
30 {PrelBase.Eq{-23,p-} (PrelTup.(,){-42,p-} a_rWB b_rWC)}
31 PrelTup.$d4{-rKg,p-} ::
34 {PrelBase.Show{-2i,p-} a_rWy, PrelBase.Show{-2i,p-} b_rWz}
36 {PrelBase.Show{-2i,p-} (a_rWy, b_rWz)}
37 PrelTup.$d2{-rJU,p-} ::
39 [a_rWt b_rWu c_rWv d_rWw]
40 {PrelBase.Show{-2i,p-} a_rWt, PrelBase.Show{-2i,p-} b_rWu, PrelBase.Show{-2i,p-} c_rWv, PrelBase.Show{-2i,p-} d_rWw}
42 {PrelBase.Show{-2i,p-} (a_rWt, b_rWu, c_rWv, d_rWw)}
43 PrelTup.$d15{-rJP,p-} ::
45 [a_rWo b_rWp c_rWq d_rWr]
47 {PrelBase.Eval{-24,p-} (PrelTup.(,,,){-44,p-} a_rWo b_rWp c_rWq d_rWr)}
48 PrelTup.$d13{-rJN,p-} ::
52 {PrelBase.Eval{-24,p-} (PrelTup.(,){-42,p-} a_rWl b_rWm)}
53 PrelTup.$d11{-rJL,p-} ::
55 [a_rWg b_rWh c_rWi d_rWj]
56 {PrelBase.Eq{-23,p-} a_rWg, PrelBase.Eq{-23,p-} b_rWh, PrelBase.Eq{-23,p-} c_rWi, PrelBase.Eq{-23,p-} d_rWj}
58 {PrelBase.Eq{-23,p-} (PrelTup.(,,,){-44,p-} a_rWg b_rWh c_rWi d_rWj)}
59 PrelBase.$d8{-rc1,p-} ::
60 {PrelBase.Show{-2i,p-} PrelBase.Char{-38,p-}}
61 PrelBase.$d7{-rc0,p-} ::
62 {PrelBase.Eq{-23,p-} PrelBase.Int{-3g,p-}}
63 PrelBase.$d54{-rbV,p-} ::
64 {PrelBase.Show{-2i,p-} PrelBase.Bool{-34,p-}}
65 PrelBase.$d46{-rbM,p-} ::
66 {PrelBase.Eval{-24,p-} PrelBase.(){-40,p-}}
67 PrelBase.$d44{-rbK,p-} ::
68 _forall_ [a_rWe] => {PrelBase.Eval{-24,p-} [a_rWe]}
69 PrelBase.$d42{-rbI,p-} ::
70 {PrelBase.Eval{-24,p-} PrelBase.Integer{-3h,p-}}
71 PrelBase.$d41{-rbH,p-} ::
72 {PrelBase.Eval{-24,p-} PrelBase.Int{-3g,p-}}
73 PrelBase.$d39{-rbE,p-} ::
74 {PrelBase.Eval{-24,p-} PrelBase.Double{-3a,p-}}
75 PrelBase.$d38{-rbD,p-} ::
76 {PrelBase.Eval{-24,p-} PrelBase.Char{-38,p-}}
77 PrelBase.$d37{-rbC,p-} ::
78 {PrelBase.Eval{-24,p-} PrelBase.Bool{-34,p-}}
79 PrelBase.$d33{-rby,p-} ::
80 {PrelBase.Eq{-23,p-} PrelBase.Char{-38,p-}}
81 PrelBase.$d32{-rbx,p-} ::
82 {PrelBase.Eq{-23,p-} PrelBase.Bool{-34,p-}}
83 PrelBase.$d3{-rbu,p-} ::
84 {PrelBase.Num{-2c,p-} PrelBase.Int{-3g,p-}}
85 PrelBase.$d27{-rbr,p-} ::
88 {PrelBase.Eq{-23,p-} a_rWc}
90 {PrelBase.Eq{-23,p-} [a_rWc]}
91 PrelBase.$d21{-rbl,p-} ::
94 {PrelBase.Show{-2i,p-} a_rWa}
96 {PrelBase.Show{-2i,p-} [a_rWa]}
97 PrelBase.$d2{-rbj,p-} ::
98 {PrelBase.Show{-2i,p-} PrelBase.Int{-3g,p-}}
99 PrelBase.$d15{-rbe,p-} ::
100 {PrelBase.Eq{-23,p-} PrelBase.(){-40,p-}}
101 PrelBase.$d11{-rba,p-} ::
102 {PrelBase.Show{-2i,p-} PrelBase.(){-40,p-}}
103 PrelBase.$d1{-rb8,p-} ::
104 _forall_ [a_rW7 b_rW8] => {PrelBase.Show{-2i,p-} (a_rW7 -> b_rW8)}
105 instance {PrelBase.Eq{-23,p-} PrelBase.Integer{-3h,p-}}
106 instance {PrelBase.Num{-2c,p-} PrelBase.Integer{-3h,p-}}
107 instance {PrelBase.Show{-2i,p-} PrelBase.Integer{-3h,p-}}
108 instance {PrelBase.Eq{-23,p-} PrelBase.Double{-3a,p-}}
109 instance {PrelBase.Num{-2c,p-} PrelBase.Double{-3a,p-}}
110 instance {PrelBase.Show{-2i,p-} PrelBase.Double{-3a,p-}}
113 {PrelBase.Eq{-23,p-} a_rJa, PrelBase.Eq{-23,p-} b_rJb}
115 {PrelBase.Eq{-23,p-} (PrelTup.(,){-42,p-} a_rJa b_rJb)}
118 {PrelBase.Show{-2i,p-} a_rJd, PrelBase.Show{-2i,p-} b_rJe}
120 {PrelBase.Show{-2i,p-} (a_rJd, b_rJe)}
122 [a_rJg b_rJh c_rJi d_rJj]
123 {PrelBase.Show{-2i,p-} a_rJg, PrelBase.Show{-2i,p-} b_rJh, PrelBase.Show{-2i,p-} c_rJi, PrelBase.Show{-2i,p-} d_rJj}
125 {PrelBase.Show{-2i,p-} (a_rJg, b_rJh, c_rJi, d_rJj)}
127 [a_rJl b_rJm c_rJn d_rJo]
129 {PrelBase.Eval{-24,p-} (PrelTup.(,,,){-44,p-} a_rJl b_rJm c_rJn d_rJo)}
133 {PrelBase.Eval{-24,p-} (PrelTup.(,){-42,p-} a_rJq b_rJr)}
135 [a_rJt b_rJu c_rJv d_rJw]
136 {PrelBase.Eq{-23,p-} a_rJt, PrelBase.Eq{-23,p-} b_rJu, PrelBase.Eq{-23,p-} c_rJv, PrelBase.Eq{-23,p-} d_rJw}
138 {PrelBase.Eq{-23,p-} (PrelTup.(,,,){-44,p-} a_rJt b_rJu c_rJv d_rJw)}
139 instance {PrelBase.Show{-2i,p-} PrelBase.Char{-38,p-}}
140 instance {PrelBase.Eq{-23,p-} PrelBase.Int{-3g,p-}}
141 instance {PrelBase.Show{-2i,p-} PrelBase.Bool{-34,p-}}
142 instance {PrelBase.Eval{-24,p-} PrelBase.(){-40,p-}}
143 instance _forall_ [a_rJy] => {PrelBase.Eval{-24,p-} [a_rJy]}
144 instance {PrelBase.Eval{-24,p-} PrelBase.Integer{-3h,p-}}
145 instance {PrelBase.Eval{-24,p-} PrelBase.Int{-3g,p-}}
146 instance {PrelBase.Eval{-24,p-} PrelBase.Double{-3a,p-}}
147 instance {PrelBase.Eval{-24,p-} PrelBase.Char{-38,p-}}
148 instance {PrelBase.Eval{-24,p-} PrelBase.Bool{-34,p-}}
149 instance {PrelBase.Eq{-23,p-} PrelBase.Char{-38,p-}}
150 instance {PrelBase.Eq{-23,p-} PrelBase.Bool{-34,p-}}
151 instance {PrelBase.Num{-2c,p-} PrelBase.Int{-3g,p-}}
154 {PrelBase.Eq{-23,p-} a_rJA}
156 {PrelBase.Eq{-23,p-} [a_rJA]}
159 {PrelBase.Show{-2i,p-} a_rJC}
161 {PrelBase.Show{-2i,p-} [a_rJC]}
162 instance {PrelBase.Show{-2i,p-} PrelBase.Int{-3g,p-}}
163 instance {PrelBase.Eq{-23,p-} PrelBase.(){-40,p-}}
164 instance {PrelBase.Show{-2i,p-} PrelBase.(){-40,p-}}
168 {PrelBase.Show{-2i,p-} (a_rJE -> b_rJF)}
169 PrelBase.$m=={-rca,p-} ::
172 {PrelBase.Eq{-23,p-} a_rj4}
174 a_rj4 -> a_rj4 -> PrelBase.Bool{-34,p-}
175 PrelBase.$m/={-rc7,p-} ::
178 {PrelBase.Eq{-23,p-} a_rj2}
180 a_rj2 -> a_rj2 -> PrelBase.Bool{-34,p-}
181 class PrelBase.Eq{-23,p-} rlg_rj0 where {
183 rlg_rj0 -> rlg_rj0 -> PrelBase.Bool{-34,p-};
185 rlg_rj0 -> rlg_rj0 -> PrelBase.Bool{-34,p-};
187 PrelBase.$mshowsPrec{-rcw,p-} ::
190 {PrelBase.Show{-2i,p-} a_riY}
193 -> a_riY -> PrelBase.String{-rdg,p-} -> PrelBase.String{-rdg,p-}
194 type PrelBase.String{-rdg,p-} =
195 [PrelBase.Char{-38,p-}]
196 PrelBase.$mshowList{-rcv,p-} ::
199 {PrelBase.Show{-2i,p-} a_riV}
201 [a_riV] -> PrelBase.String{-rdg,p-} -> PrelBase.String{-rdg,p-}
202 class PrelBase.Show{-2i,p-} riq_riT where {
205 -> riq_riT -> PrelBase.String{-rdg,p-} -> PrelBase.String{-rdg,p-};
207 [riq_riT] -> PrelBase.String{-rdg,p-} -> PrelBase.String{-rdg,p-};
209 PrelBase.$m+{-rc4,p-} ::
212 {PrelBase.Num{-2c,p-} a_riR}
214 a_riR -> a_riR -> a_riR
215 PrelBase.$m-{-rc6,p-} ::
218 {PrelBase.Num{-2c,p-} a_riP}
220 a_riP -> a_riP -> a_riP
221 PrelBase.$m*{-rc3,p-} ::
224 {PrelBase.Num{-2c,p-} a_riN}
226 a_riN -> a_riN -> a_riN
227 PrelBase.$mnegate{-rct,p-} ::
228 _forall_ [a_riL] {PrelBase.Num{-2c,p-} a_riL} => a_riL -> a_riL
229 PrelBase.$mabs{-rcf,p-} ::
230 _forall_ [a_riJ] {PrelBase.Num{-2c,p-} a_riJ} => a_riJ -> a_riJ
231 PrelBase.$msignum{-rcx,p-} ::
232 _forall_ [a_riH] {PrelBase.Num{-2c,p-} a_riH} => a_riH -> a_riH
233 PrelBase.$mfromInteger{-rcn,p-} ::
236 {PrelBase.Num{-2c,p-} a_riF}
238 PrelBase.Integer{-3h,p-} -> a_riF
239 PrelBase.$mfromInt{-rcm,p-} ::
242 {PrelBase.Num{-2c,p-} a_riD}
244 PrelBase.Int{-3g,p-} -> a_riD
245 class {PrelBase.Eq{-23,p-} riC_riB, PrelBase.Show{-2i,p-} riC_riB, PrelBase.Eval{-24,p-} riC_riB} => PrelBase.Num{-2c,p-} riC_riB where {
247 riC_riB -> riC_riB -> riC_riB;
249 riC_riB -> riC_riB -> riC_riB;
251 riC_riB -> riC_riB -> riC_riB;
259 PrelBase.Integer{-3h,p-} -> riC_riB;
261 PrelBase.Int{-3g,p-} -> riC_riB;
263 class PrelBase.Eval{-24,p-} rk6_riz
265 ((i1{-r3z,x-}@((i2{-r3y,x-}@((i3{-r3x,x-}@i{-r3w,x-}))))), 1)
268 (Foo{-r3F,x-} j{-r3u,x-} 1 2)
269 = (k{-r3s,x-}, 1, 1, 2)
270 (~~~~k{-r3s,x-}, 1, 2, 3)
274 ((f1{-r3D,x-}@((f2{-r3C,x-}@((f3{-r3B,x-}@f{-r3A,x-}))))), 1)
277 (Foo{-r3F,x-} g{-r3v,x-} 1 2)
278 = (h{-r3t,x-}, 1, 1, 2)
279 (~~~~h{-r3t,x-}, 1, 2, 3)
285 data Foo{-r3G,x-} a_r3r =
286 Foo{-r3F,x-} a_r3r PrelBase.Int{-3g,i-} PrelBase.Int{-3g,i-}
288 rn007.hs:19: Couldn't match the type
289 `Foo' against `PrelTup.(,,,) t{-a104-} t{-a105-} t{-a106-}'
290 Expected: `Foo (t{-aYy-} -> t{-aYE-} -> (t{-aYh-}, t{-aYt-}))'
291 Inferred: `(t{-a104-}, t{-a105-}, t{-a106-}, t{-a107-})'
292 In a pattern binding:
296 rn007.hs:18: Couldn't match the type
297 `Foo' against `PrelTup.(,,,) t{-a108-} t{-a109-} t{-a10a-}'
298 Expected: `Foo (t{-aZr-} -> t{-aZx-} -> (t{-aZa-}, t{-aZm-}))'
299 Inferred: `(t{-a108-}, t{-a109-}, t{-a10a-}, t{-a10b-})'
300 In a pattern binding:
305 Compilation had errors