# Ticket #4306: Test.core

File Test.core, 10.4 KB (added by Olathe, 4 years ago) |
---|

Line | |
---|---|

1 | |

2 | ==================== Tidy Core ==================== |

3 | Test.$WUPD :: GHC.Types.Double -> Test.D -> Test.UPD |

4 | GblId[DataConWrapper] |

5 | [Arity 2 |

6 | NoCafRefs |

7 | Str: DmdType SLm] |

8 | Test.$WUPD = |

9 | __inline_me (\ (tpl_B1 [ALWAYS Once! Nothing] :: GHC.Types.Double) |

10 | (tpl_B2 [ALWAYS Once Nothing] :: Test.D) -> |

11 | case tpl_B1 of _ { GHC.Types.D# tpl_B4 [ALWAYS Once Nothing] -> |

12 | Test.UPD tpl_B4 tpl_B2 |

13 | }) |

14 | |

15 | Test.$WUPC :: GHC.Types.Double -> Test.C -> Test.UPC |

16 | GblId[DataConWrapper] |

17 | [Arity 2 |

18 | NoCafRefs |

19 | Str: DmdType SLm] |

20 | Test.$WUPC = |

21 | __inline_me (\ (tpl_B1 [ALWAYS Once! Nothing] :: GHC.Types.Double) |

22 | (tpl_B2 [ALWAYS Once Nothing] :: Test.C) -> |

23 | case tpl_B1 of _ { GHC.Types.D# tpl_B4 [ALWAYS Once Nothing] -> |

24 | Test.UPC tpl_B4 tpl_B2 |

25 | }) |

26 | |

27 | Test.$WPPD :: GHC.Types.Double -> Test.D -> Test.PPD |

28 | GblId[DataConWrapper] |

29 | [Arity 2 |

30 | NoCafRefs |

31 | Str: DmdType SLm] |

32 | Test.$WPPD = |

33 | __inline_me (\ (tpl_B1 [ALWAYS Once Nothing] :: GHC.Types.Double) |

34 | (tpl_B2 [ALWAYS Once Nothing] :: Test.D) -> |

35 | case tpl_B1 of tpl_X4 { __DEFAULT -> Test.PPD tpl_X4 tpl_B2 }) |

36 | |

37 | Test.$WPPC :: GHC.Types.Double -> Test.C -> Test.PPC |

38 | GblId[DataConWrapper] |

39 | [Arity 2 |

40 | NoCafRefs |

41 | Str: DmdType SLm] |

42 | Test.$WPPC = |

43 | __inline_me (\ (tpl_B1 [ALWAYS Once Nothing] :: GHC.Types.Double) |

44 | (tpl_B2 [ALWAYS Once Nothing] :: Test.C) -> |

45 | case tpl_B1 of tpl_X4 { __DEFAULT -> Test.PPC tpl_X4 tpl_B2 }) |

46 | |

47 | Test.$WD :: GHC.Types.Double -> GHC.Types.Double -> Test.D |

48 | GblId[DataConWrapper] |

49 | [Arity 2 |

50 | NoCafRefs |

51 | Str: DmdType SSm] |

52 | Test.$WD = |

53 | __inline_me (\ (tpl_B1 [ALWAYS Once! Nothing] :: GHC.Types.Double) |

54 | (tpl_B2 [ALWAYS Once! Nothing] :: GHC.Types.Double) -> |

55 | case tpl_B1 of _ { GHC.Types.D# tpl_B4 [ALWAYS Once Nothing] -> |

56 | case tpl_B2 of _ { GHC.Types.D# tpl_B6 [ALWAYS Once Nothing] -> |

57 | Test.D tpl_B4 tpl_B6 |

58 | } |

59 | }) |

60 | |

61 | Test.$WC :: GHC.Types.Double -> GHC.Types.Double -> Test.C |

62 | GblId[DataConWrapper] |

63 | [Arity 2 |

64 | NoCafRefs |

65 | Str: DmdType SSm] |

66 | Test.$WC = |

67 | __inline_me (\ (tpl_B1 [ALWAYS Once! Nothing] :: GHC.Types.Double) |

68 | (tpl_B2 [ALWAYS Once Nothing] :: GHC.Types.Double) -> |

69 | case tpl_B1 of _ { GHC.Types.D# tpl_B4 [ALWAYS Once Nothing] -> |

70 | case tpl_B2 of tpl_X7 { __DEFAULT -> Test.C tpl_B4 tpl_X7 } |

71 | }) |

72 | |

73 | Test.$WUPB :: GHC.Types.Double -> Test.B -> Test.UPB |

74 | GblId[DataConWrapper] |

75 | [Arity 2 |

76 | NoCafRefs |

77 | Str: DmdType SLm] |

78 | Test.$WUPB = |

79 | __inline_me (\ (tpl_B1 [ALWAYS Once! Nothing] :: GHC.Types.Double) |

80 | (tpl_B2 [ALWAYS Once Nothing] :: Test.B) -> |

81 | case tpl_B1 of _ { GHC.Types.D# tpl_B4 [ALWAYS Once Nothing] -> |

82 | Test.UPB tpl_B4 tpl_B2 |

83 | }) |

84 | |

85 | Test.$WPPB :: GHC.Types.Double -> Test.B -> Test.PPB |

86 | GblId[DataConWrapper] |

87 | [Arity 2 |

88 | NoCafRefs |

89 | Str: DmdType SLm] |

90 | Test.$WPPB = |

91 | __inline_me (\ (tpl_B1 [ALWAYS Once Nothing] :: GHC.Types.Double) |

92 | (tpl_B2 [ALWAYS Once Nothing] :: Test.B) -> |

93 | case tpl_B1 of tpl_X4 { __DEFAULT -> Test.PPB tpl_X4 tpl_B2 }) |

94 | |

95 | Test.$WB :: GHC.Types.Double -> GHC.Types.Double -> Test.B |

96 | GblId[DataConWrapper] |

97 | [Arity 2 |

98 | NoCafRefs |

99 | Str: DmdType SSm] |

100 | Test.$WB = |

101 | __inline_me (\ (tpl_B1 [ALWAYS Once Nothing] :: GHC.Types.Double) |

102 | (tpl_B2 [ALWAYS Once Nothing] :: GHC.Types.Double) -> |

103 | case tpl_B1 of tpl_X4 { __DEFAULT -> |

104 | case tpl_B2 of tpl_X6 { __DEFAULT -> Test.B tpl_X4 tpl_X6 } |

105 | }) |

106 | |

107 | Test.$wupd :: GHC.Prim.Double# |

108 | -> GHC.Prim.Double# |

109 | -> GHC.Prim.Double# |

110 | -> GHC.Prim.Double# |

111 | GblId |

112 | [Arity 3 |

113 | NoCafRefs |

114 | Str: DmdType ALA] |

115 | Test.$wupd = |

116 | \ _ (ww1_ssd :: GHC.Prim.Double#) _ -> |

117 | GHC.Prim.sqrtDouble# |

118 | (GHC.Prim.+## |

119 | (GHC.Prim.*## ww1_ssd ww1_ssd) (GHC.Prim.*## ww1_ssd ww1_ssd)) |

120 | |

121 | Test.$wppd :: GHC.Prim.Double# |

122 | -> GHC.Prim.Double# |

123 | -> GHC.Prim.Double# |

124 | GblId |

125 | [Arity 2 |

126 | NoCafRefs |

127 | Str: DmdType LA] |

128 | Test.$wppd = |

129 | \ (ww_srZ :: GHC.Prim.Double#) _ -> |

130 | GHC.Prim.sqrtDouble# |

131 | (GHC.Prim.+## |

132 | (GHC.Prim.*## ww_srZ ww_srZ) (GHC.Prim.*## ww_srZ ww_srZ)) |

133 | |

134 | Test.$wupc :: GHC.Prim.Double# |

135 | -> GHC.Prim.Double# |

136 | -> GHC.Prim.Double# |

137 | GblId |

138 | [Arity 2 |

139 | NoCafRefs |

140 | Str: DmdType AL] |

141 | Test.$wupc = |

142 | \ _ (ww1_srL :: GHC.Prim.Double#) -> |

143 | GHC.Prim.sqrtDouble# |

144 | (GHC.Prim.+## |

145 | (GHC.Prim.*## ww1_srL ww1_srL) (GHC.Prim.*## ww1_srL ww1_srL)) |

146 | |

147 | Test.$wppc :: GHC.Prim.Double# -> GHC.Prim.Double# |

148 | GblId |

149 | [Arity 1 |

150 | NoCafRefs |

151 | Str: DmdType L] |

152 | Test.$wppc = |

153 | \ (ww_srx :: GHC.Prim.Double#) -> |

154 | GHC.Prim.sqrtDouble# |

155 | (GHC.Prim.+## |

156 | (GHC.Prim.*## ww_srx ww_srx) (GHC.Prim.*## ww_srx ww_srx)) |

157 | |

158 | Test.$wupb :: GHC.Prim.Double# |

159 | -> GHC.Prim.Double# |

160 | -> GHC.Prim.Double# |

161 | GblId |

162 | [Arity 2 |

163 | NoCafRefs |

164 | Str: DmdType AL] |

165 | Test.$wupb = |

166 | \ _ (ww1_sri :: GHC.Prim.Double#) -> |

167 | GHC.Prim.sqrtDouble# |

168 | (GHC.Prim.+## |

169 | (GHC.Prim.*## ww1_sri ww1_sri) (GHC.Prim.*## ww1_sri ww1_sri)) |

170 | |

171 | Test.$wppb :: GHC.Prim.Double# -> GHC.Prim.Double# |

172 | GblId |

173 | [Arity 1 |

174 | NoCafRefs |

175 | Str: DmdType L] |

176 | Test.$wppb = |

177 | \ (ww_sr1 :: GHC.Prim.Double#) -> |

178 | GHC.Prim.sqrtDouble# |

179 | (GHC.Prim.+## |

180 | (GHC.Prim.*## ww_sr1 ww_sr1) (GHC.Prim.*## ww_sr1 ww_sr1)) |

181 | |

182 | Test.$wd :: GHC.Prim.Double# |

183 | -> GHC.Prim.Double# |

184 | -> GHC.Prim.Double# |

185 | GblId |

186 | [Arity 2 |

187 | NoCafRefs |

188 | Str: DmdType LA] |

189 | Test.$wd = |

190 | \ (ww_sqM :: GHC.Prim.Double#) _ -> |

191 | GHC.Prim.sqrtDouble# |

192 | (GHC.Prim.+## |

193 | (GHC.Prim.*## ww_sqM ww_sqM) (GHC.Prim.*## ww_sqM ww_sqM)) |

194 | |

195 | Test.$wc :: GHC.Prim.Double# -> GHC.Prim.Double# |

196 | GblId |

197 | [Arity 1 |

198 | NoCafRefs |

199 | Str: DmdType L] |

200 | Test.$wc = |

201 | \ (ww_sqC :: GHC.Prim.Double#) -> |

202 | GHC.Prim.sqrtDouble# |

203 | (GHC.Prim.+## |

204 | (GHC.Prim.*## ww_sqC ww_sqC) (GHC.Prim.*## ww_sqC ww_sqC)) |

205 | |

206 | Test.$wb :: GHC.Prim.Double# -> GHC.Prim.Double# |

207 | GblId |

208 | [Arity 1 |

209 | NoCafRefs |

210 | Str: DmdType L] |

211 | Test.$wb = |

212 | \ (ww_sqs :: GHC.Prim.Double#) -> |

213 | GHC.Prim.sqrtDouble# |

214 | (GHC.Prim.+## |

215 | (GHC.Prim.*## ww_sqs ww_sqs) (GHC.Prim.*## ww_sqs ww_sqs)) |

216 | |

217 | Test.upd :: Test.UPD -> GHC.Types.Double |

218 | GblId |

219 | [Arity 1 |

220 | Worker Test.$wupd |

221 | NoCafRefs |

222 | Str: DmdType U(AU(LA))m] |

223 | Test.upd = |

224 | __inline_me (\ (w_ss8 :: Test.UPD) -> |

225 | case w_ss8 of _ { Test.UPD ww_ssa ww1_ssb -> |

226 | case ww1_ssb of _ { Test.D ww3_ssd ww4_sse -> |

227 | case Test.$wupd ww_ssa ww3_ssd ww4_sse of ww5_ssj { __DEFAULT -> |

228 | GHC.Types.D# ww5_ssj |

229 | } |

230 | } |

231 | }) |

232 | |

233 | Test.ppd :: Test.PPD -> GHC.Types.Double |

234 | GblId |

235 | [Arity 1 |

236 | Worker Test.$wppd |

237 | NoCafRefs |

238 | Str: DmdType U(AU(LA))m] |

239 | Test.ppd = |

240 | __inline_me (\ (w_srU :: Test.PPD) -> |

241 | case w_srU of _ { Test.PPD _ ww1_srX -> |

242 | case ww1_srX of _ { Test.D ww3_srZ ww4_ss0 -> |

243 | case Test.$wppd ww3_srZ ww4_ss0 of ww5_ss5 { __DEFAULT -> |

244 | GHC.Types.D# ww5_ss5 |

245 | } |

246 | } |

247 | }) |

248 | |

249 | Test.upc :: Test.UPC -> GHC.Types.Double |

250 | GblId |

251 | [Arity 1 |

252 | Worker Test.$wupc |

253 | NoCafRefs |

254 | Str: DmdType U(AU(LA))m] |

255 | Test.upc = |

256 | __inline_me (\ (w_srG :: Test.UPC) -> |

257 | case w_srG of _ { Test.UPC ww_srI ww1_srJ -> |

258 | case ww1_srJ of _ { Test.C ww3_srL _ -> |

259 | case Test.$wupc ww_srI ww3_srL of ww5_srR { __DEFAULT -> |

260 | GHC.Types.D# ww5_srR |

261 | } |

262 | } |

263 | }) |

264 | |

265 | Test.ppc :: Test.PPC -> GHC.Types.Double |

266 | GblId |

267 | [Arity 1 |

268 | Worker Test.$wppc |

269 | NoCafRefs |

270 | Str: DmdType U(AU(LA))m] |

271 | Test.ppc = |

272 | __inline_me (\ (w_srs :: Test.PPC) -> |

273 | case w_srs of _ { Test.PPC _ ww1_srv -> |

274 | case ww1_srv of _ { Test.C ww3_srx _ -> |

275 | case Test.$wppc ww3_srx of ww5_srD { __DEFAULT -> |

276 | GHC.Types.D# ww5_srD |

277 | } |

278 | } |

279 | }) |

280 | |

281 | Test.upb :: Test.UPB -> GHC.Types.Double |

282 | GblId |

283 | [Arity 1 |

284 | Worker Test.$wupb |

285 | NoCafRefs |

286 | Str: DmdType U(AU(U(L)A))m] |

287 | Test.upb = |

288 | __inline_me (\ (w_srb :: Test.UPB) -> |

289 | case w_srb of _ { Test.UPB ww_srd ww1_sre -> |

290 | case ww1_sre of _ { Test.B ww3_srg _ -> |

291 | case ww3_srg of _ { GHC.Types.D# ww6_sri -> |

292 | case Test.$wupb ww_srd ww6_sri of ww7_srp { __DEFAULT -> |

293 | GHC.Types.D# ww7_srp |

294 | } |

295 | } |

296 | } |

297 | }) |

298 | |

299 | Test.ppb :: Test.PPB -> GHC.Types.Double |

300 | GblId |

301 | [Arity 1 |

302 | Worker Test.$wppb |

303 | NoCafRefs |

304 | Str: DmdType U(AU(U(L)A))m] |

305 | Test.ppb = |

306 | __inline_me (\ (w_sqU :: Test.PPB) -> |

307 | case w_sqU of _ { Test.PPB _ ww1_sqX -> |

308 | case ww1_sqX of _ { Test.B ww3_sqZ _ -> |

309 | case ww3_sqZ of _ { GHC.Types.D# ww6_sr1 -> |

310 | case Test.$wppb ww6_sr1 of ww7_sr8 { __DEFAULT -> |

311 | GHC.Types.D# ww7_sr8 |

312 | } |

313 | } |

314 | } |

315 | }) |

316 | |

317 | Test.d :: Test.D -> GHC.Types.Double |

318 | GblId |

319 | [Arity 1 |

320 | Worker Test.$wd |

321 | NoCafRefs |

322 | Str: DmdType U(LA)m] |

323 | Test.d = |

324 | __inline_me (\ (w_sqK :: Test.D) -> |

325 | case w_sqK of _ { Test.D ww_sqM ww1_sqN -> |

326 | case Test.$wd ww_sqM ww1_sqN of ww2_sqR { __DEFAULT -> |

327 | GHC.Types.D# ww2_sqR |

328 | } |

329 | }) |

330 | |

331 | Test.c :: Test.C -> GHC.Types.Double |

332 | GblId |

333 | [Arity 1 |

334 | Worker Test.$wc |

335 | NoCafRefs |

336 | Str: DmdType U(LA)m] |

337 | Test.c = |

338 | __inline_me (\ (w_sqA :: Test.C) -> |

339 | case w_sqA of _ { Test.C ww_sqC _ -> |

340 | case Test.$wc ww_sqC of ww2_sqH { __DEFAULT -> |

341 | GHC.Types.D# ww2_sqH |

342 | } |

343 | }) |

344 | |

345 | Test.b :: Test.C -> GHC.Types.Double |

346 | GblId |

347 | [Arity 1 |

348 | Worker Test.$wb |

349 | NoCafRefs |

350 | Str: DmdType U(LA)m] |

351 | Test.b = |

352 | __inline_me (\ (w_sqq :: Test.C) -> |

353 | case w_sqq of _ { Test.C ww_sqs _ -> |

354 | case Test.$wb ww_sqs of ww2_sqx { __DEFAULT -> |

355 | GHC.Types.D# ww2_sqx |

356 | } |

357 | }) |

358 | |

359 | |

360 | |

361 | |

362 | ==================== Tidy Core Rules ==================== |

363 | |

364 |