# Ticket #14507: core-dump.log

File core-dump.log, 13.6 KB (added by , 13 months ago) |
---|

Line | |
---|---|

1 | GHCi, version 8.3.20170920: http://www.haskell.org/ghc/ :? for help |

2 | [1 of 1] Compiling Main ( /tmp/Bug.hs, interpreted ) |

3 | *** Core Lint errors : in result of Desugar (after optimization) *** |

4 | <no location info>: warning: |

5 | In the type ‘forall kk (a :: kk). |

6 | (Typeable a, (N :: *) ~ (kk :: *), Typeable (a |> cobox_a22j)) => |

7 | TypeRep a’ |

8 | cobox_a22j :: (kk_a225 :: *) ~# (N :: *) |

9 | [LclId[CoVarId]] is out of scope |

10 | *** Offending Program *** |

11 | $bRepN |

12 | :: forall kk (a :: kk). |

13 | (Typeable a, (N :: *) ~ (kk :: *)) => |

14 | SING a -> TypeRep a |

15 | [LclIdX] |

16 | $bRepN |

17 | = \ (@ kk_a22W) |

18 | (@ (a_a22X :: kk_a22W)) |

19 | _ [Occ=Dead] |

20 | ($d~_a230 :: (N :: *) ~ (kk_a22W :: *)) -> |

21 | case HEq_sc @ * @ * @ N @ kk_a22W ($p1~ @ * @ N @ kk_a22W $d~_a230) |

22 | of cobox_a23s |

23 | { __DEFAULT -> |

24 | \ (tr_a1HF :: SING a_a22X) -> |

25 | (break<10>(tr_a1HF) tr_a1HF) |

26 | `cast` (((SING (Sym cobox_a23s))_R ; (Sub (D:R:SING[0]) ; (TypeRep |

27 | cobox_a23s)_R)) <a_a22X>_N |

28 | :: (SING a_a22X :: *) ~R# (TypeRep a_a22X :: *)) |

29 | } |

30 | |

31 | $bBloop' |

32 | :: forall k1 k (k' :: k1) (a :: k). |

33 | Typeable k' => |

34 | (k' :~~: k) -> TypeRep a -> TypeRep a |

35 | [LclIdX] |

36 | $bBloop' |

37 | = \ (@ k1_a22M) |

38 | (@ k_a22N) |

39 | (@ (k'_a22O :: k1_a22M)) |

40 | (@ (a_a22P :: k_a22N)) |

41 | _ [Occ=Dead] |

42 | (ds_d25s :: k'_a22O :~~: k_a22N) |

43 | (rep_a1HD :: TypeRep a_a22P) -> |

44 | case ds_d25s of { HRefl cobox_a22S cobox_a22T -> |

45 | break<9>(rep_a1HD) rep_a1HD |

46 | } |

47 | |

48 | $bTypeRep :: forall k (a :: k). Typeable a => TypeRep a |

49 | [LclIdX] |

50 | $bTypeRep |

51 | = \ (@ k_a22E) |

52 | (@ (a_a22F :: k_a22E)) |

53 | ($dTypeable_a22H :: Typeable a_a22F) -> |

54 | break<8>() typeRep @ k_a22E @ a_a22F $dTypeable_a22H |

55 | |

56 | $bSO |

57 | :: forall kk (a :: kk). |

58 | (Typeable a, (N :: *) ~ (kk :: *), Typeable (a |> cobox_a22j)) => |

59 | TypeRep a |

60 | [LclIdX] |

61 | $bSO |

62 | = \ (@ kk_a233) |

63 | (@ (a_a234 :: kk_a233)) |

64 | ($dTypeable_a236 :: Typeable a_a234) |

65 | ($d~_a237 :: (N :: *) ~ (kk_a233 :: *)) |

66 | _ [Occ=Dead] -> |

67 | case HEq_sc @ * @ * @ N @ kk_a233 ($p1~ @ * @ N @ kk_a233 $d~_a237) |

68 | of cobox_a23z |

69 | { __DEFAULT -> |

70 | break<11>() |

71 | $bRepN |

72 | @ kk_a233 |

73 | @ a_a234 |

74 | (($dTypeable_a236 |

75 | `cast` ((Typeable |

76 | (Sym cobox_a23z) (Sym (Coh <a_a234>_N (Sym cobox_a23z))))_R |

77 | :: (Typeable a_a234 :: Constraint) |

78 | ~R# (Typeable (a_a234 |> Sym cobox_a23z) :: Constraint))) |

79 | `cast` ((Typeable cobox_a23z (Coh <a_a234>_N (Sym cobox_a23z)))_R |

80 | :: (Typeable (a_a234 |> Sym cobox_a23z) :: Constraint) |

81 | ~R# (Typeable a_a234 :: Constraint))) |

82 | (($d~_a237 |

83 | `cast` (((~) <*>_N <N>_N (Sym cobox_a23z))_R |

84 | :: ((N :: *) ~ (kk_a233 :: *) :: Constraint) |

85 | ~R# ((N :: *) ~ (N :: *) :: Constraint))) |

86 | `cast` (((~) <*>_N <N>_N cobox_a23z)_R |

87 | :: ((N :: *) ~ (N :: *) :: Constraint) |

88 | ~R# ((N :: *) ~ (kk_a233 :: *) :: Constraint))) |

89 | (($bTypeRep |

90 | @ N |

91 | @ (a_a234 |> Sym cobox_a23z) |

92 | (($dTypeable_a236 |

93 | `cast` ((Typeable |

94 | (Sym cobox_a23z) (Sym (Coh <a_a234>_N (Sym cobox_a23z))))_R |

95 | :: (Typeable a_a234 :: Constraint) |

96 | ~R# (Typeable (a_a234 |> Sym cobox_a23z) :: Constraint))) |

97 | `cast` ((Typeable |

98 | <N>_N |

99 | (Sym (Coh (Sym (Coh <a_a234>_N (Sym cobox_a23z))) |

100 | (Sym cobox_a23z))))_R |

101 | :: (Typeable (a_a234 |> Sym cobox_a23z) :: Constraint) |

102 | ~R# (Typeable (a_a234 |> Sym cobox_a23z) :: Constraint)))) |

103 | `cast` ((Sub (Sym (D:R:SING[0])) ; (SING |

104 | cobox_a23z)_R) (Sym (Coh (Sym (Coh <a_a234>_N |

105 | (Sym cobox_a23z))) |

106 | (Sym cobox_a23z)) ; Coh <a_a234>_N |

107 | (Sym cobox_a23z)) |

108 | :: (TypeRep (a_a234 |> Sym cobox_a23z) :: *) |

109 | ~R# (SING a_a234 :: *))) |

110 | } |

111 | |

112 | foo |

113 | :: forall k' k (kind :: k') (a :: k). |

114 | TypeRep kind -> TypeRep a -> Maybe (kind :~~: k, TypeRep a) |

115 | [LclIdX] |

116 | foo |

117 | = \ (@ k'_a201) |

118 | (@ k_a202) |

119 | (@ (kind_a203 :: k'_a201)) |

120 | (@ (a_a204 :: k_a202)) |

121 | (krep_a1Hz :: TypeRep kind_a203) |

122 | (rep_a1HA :: TypeRep a_a204) -> |

123 | break<4>(krep_a1Hz,rep_a1HA) |

124 | >>= |

125 | @ Maybe |

126 | $fMonadMaybe |

127 | @ (kind_a203 :~~: k_a202) |

128 | @ (kind_a203 :~~: k_a202, TypeRep a_a204) |

129 | (break<3>(krep_a1Hz,rep_a1HA) |

130 | eqTypeRep |

131 | @ k'_a201 |

132 | @ * |

133 | @ kind_a203 |

134 | @ k_a202 |

135 | krep_a1Hz |

136 | (break<2>(rep_a1HA) typeRepKind @ k_a202 @ a_a204 rep_a1HA)) |

137 | (\ (ds_d24U :: kind_a203 :~~: k_a202) -> |

138 | case ds_d24U of { HRefl cobox_a20y cobox_a20z -> |

139 | (pure |

140 | @ Maybe |

141 | $fApplicativeMaybe |

142 | @ (kind_a203 :~~: kind_a203, TypeRep a_a204) |

143 | ($WHRefl @ k'_a201 @ kind_a203, rep_a1HA)) |

144 | `cast` ((Maybe |

145 | ((,) |

146 | ((:~~:) |

147 | <k'_a201>_N |

148 | (Sym cobox_a20y) |

149 | <kind_a203>_N |

150 | (Sym (Coh <kind_a203>_N |

151 | (Sym cobox_a20y)) ; (Sym (Coh (Sym (Coh <kind_a203>_N |

152 | (Sym cobox_a20y))) |

153 | (Sym cobox_a20y)) ; (Coh <kind_a203>_N |

154 | (Sym cobox_a20y) ; Sym cobox_a20z))))_R |

155 | <TypeRep a_a204>_R)_R)_R |

156 | :: (Maybe (kind_a203 :~~: kind_a203, TypeRep a_a204) :: *) |

157 | ~R# (Maybe (kind_a203 :~~: k_a202, TypeRep a_a204) :: *)) |

158 | }) |

159 | |

160 | $mBloop' |

161 | :: forall (r :: TYPE rep) k1 k (k' :: k1) (a :: k). |

162 | Typeable k' => |

163 | TypeRep a -> ((k' :~~: k) -> TypeRep a -> r) -> (Void# -> r) -> r |

164 | [LclIdX] |

165 | $mBloop' |

166 | = \ (@ (rep_a21c :: RuntimeRep)) |

167 | (@ (r_a21d :: TYPE rep_a21c)) |

168 | (@ k1_a1Kl) |

169 | (@ k_a1Hs) |

170 | (@ (k'_a1Ht :: k1_a1Kl)) |

171 | (@ (a_a1Hu :: k_a1Hs)) |

172 | ($dTypeable_a20W :: Typeable k'_a1Ht) |

173 | (scrut_a21f :: TypeRep a_a1Hu) |

174 | (cont_a21g :: (k'_a1Ht :~~: k_a1Hs) -> TypeRep a_a1Hu -> r_a21d) |

175 | (fail_a21h :: Void# -> r_a21d) -> |

176 | break<5>(fail_a21h,scrut_a21f,cont_a21g) |

177 | case foo |

178 | @ k1_a1Kl |

179 | @ k_a1Hs |

180 | @ k'_a1Ht |

181 | @ a_a1Hu |

182 | (typeRep @ k1_a1Kl @ k'_a1Ht $dTypeable_a20W) |

183 | scrut_a21f |

184 | of { |

185 | __DEFAULT -> fail_a21h void#; |

186 | Just ds_d258 -> |

187 | case ds_d258 of { (hrefl_a1HB, rep_a1HC) -> |

188 | cont_a21g hrefl_a1HB rep_a1HC |

189 | } |

190 | } |

191 | |

192 | asTypeable :: forall k (a :: k). TypeRep a -> Dict (Typeable a) |

193 | [LclIdX] |

194 | asTypeable |

195 | = \ (@ k_a1Zu) |

196 | (@ (a_a1Zv :: k_a1Zu)) |

197 | (rep_a1HG :: TypeRep a_a1Zv) -> |

198 | break<0>(rep_a1HG) |

199 | withTypeable |

200 | @ k_a1Zu |

201 | @ a_a1Zv |

202 | @ (Dict (Typeable a_a1Zv)) |

203 | rep_a1HG |

204 | (Dict @ (Typeable a_a1Zv)) |

205 | |

206 | $mTypeRep |

207 | :: forall (r :: TYPE rep) k (a :: k). |

208 | TypeRep a -> (Typeable a => r) -> (Void# -> r) -> r |

209 | [LclIdX] |

210 | $mTypeRep |

211 | = \ (@ (rep_a1ZU :: RuntimeRep)) |

212 | (@ (r_a1ZV :: TYPE rep_a1ZU)) |

213 | (@ k_a1J8) |

214 | (@ (a_a1As :: k_a1J8)) |

215 | (scrut_a1ZX :: TypeRep a_a1As) |

216 | (cont_a1ZY :: Typeable a_a1As => r_a1ZV) |

217 | _ [Occ=Dead] -> |

218 | break<1>(scrut_a1ZX,cont_a1ZY) |

219 | case asTypeable @ k_a1J8 @ a_a1As scrut_a1ZX of |

220 | { Dict $dTypeable_a1ZO -> |

221 | cont_a1ZY $dTypeable_a1ZO |

222 | } |

223 | |

224 | $trModule :: Module |

225 | [LclIdX] |

226 | $trModule = Module (TrNameS "main"#) (TrNameS "Main"#) |

227 | |

228 | $krep_a24N [InlPrag=NOUSERINLINE[~]] :: KindRep |

229 | [LclId] |

230 | $krep_a24N = $WKindRepVar (I# 0#) |

231 | |

232 | $krep_a24L [InlPrag=NOUSERINLINE[~]] :: KindRep |

233 | [LclId] |

234 | $krep_a24L = KindRepTyConApp $tcConstraint ([] @ KindRep) |

235 | |

236 | $krep_a24K [InlPrag=NOUSERINLINE[~]] :: KindRep |

237 | [LclId] |

238 | $krep_a24K = KindRepFun $krep_a24L krep$* |

239 | |

240 | $tcDict :: TyCon |

241 | [LclIdX] |

242 | $tcDict |

243 | = TyCon |

244 | 12987113738476613843## |

245 | 8633772289720193919## |

246 | $trModule |

247 | (TrNameS "Dict"#) |

248 | 0# |

249 | $krep_a24K |

250 | |

251 | $krep_a24O [InlPrag=NOUSERINLINE[~]] :: KindRep |

252 | [LclId] |

253 | $krep_a24O |

254 | = KindRepTyConApp $tcDict (: @ KindRep $krep_a24N ([] @ KindRep)) |

255 | |

256 | $krep_a24M [InlPrag=NOUSERINLINE[~]] :: KindRep |

257 | [LclId] |

258 | $krep_a24M = KindRepFun $krep_a24N $krep_a24O |

259 | |

260 | $tc'Dict :: TyCon |

261 | [LclIdX] |

262 | $tc'Dict |

263 | = TyCon |

264 | 2488727520366487455## |

265 | 14348606358165608576## |

266 | $trModule |

267 | (TrNameS "'Dict"#) |

268 | 1# |

269 | $krep_a24M |

270 | |

271 | $tcN :: TyCon |

272 | [LclIdX] |

273 | $tcN |

274 | = TyCon |

275 | 14162403891285604257## |

276 | 1486848424181475098## |

277 | $trModule |

278 | (TrNameS "N"#) |

279 | 0# |

280 | krep$* |

281 | |

282 | $krep_a24I [InlPrag=NOUSERINLINE[~]] :: KindRep |

283 | [LclId] |

284 | $krep_a24I = KindRepTyConApp $tcN ([] @ KindRep) |

285 | |

286 | $tc'O :: TyCon |

287 | [LclIdX] |

288 | $tc'O |

289 | = TyCon |

290 | 9675801932394384788## |

291 | 6712316648948115877## |

292 | $trModule |

293 | (TrNameS "'O"#) |

294 | 0# |

295 | $krep_a24I |

296 | |

297 | $krep_a24J [InlPrag=NOUSERINLINE[~]] :: KindRep |

298 | [LclId] |

299 | $krep_a24J = KindRepFun $krep_a24I $krep_a24I |

300 | |

301 | $tc'S :: TyCon |

302 | [LclIdX] |

303 | $tc'S |

304 | = TyCon |

305 | 10647899308490662250## |

306 | 755550826881158692## |

307 | $trModule |

308 | (TrNameS "'S"#) |

309 | 0# |

310 | $krep_a24J |

311 | |

312 | $mRepN |

313 | :: forall (r :: TYPE rep) kk (a :: kk). |

314 | Typeable a => |

315 | TypeRep a |

316 | -> (((N :: *) ~ (kk :: *)) => SING a -> r) -> (Void# -> r) -> r |

317 | [LclIdX] |

318 | $mRepN |

319 | = \ (@ (rep_a21X :: RuntimeRep)) |

320 | (@ (r_a21Y :: TYPE rep_a21X)) |

321 | (@ kk_a1Au) |

322 | (@ (a_a1Av :: kk_a1Au)) |

323 | _ [Occ=Dead] |

324 | (scrut_a220 :: TypeRep a_a1Av) |

325 | (cont_a221 :: ((N :: *) ~ (kk_a1Au :: *)) => SING a_a1Av -> r_a21Y) |

326 | (fail_a222 :: Void# -> r_a21Y) -> |

327 | break<6>(fail_a222,scrut_a220,cont_a221) |

328 | let { |

329 | fail_d25h :: Void# -> r_a21Y |

330 | [LclId] |

331 | fail_d25h = \ _ [Occ=Dead, OS=OneShot] -> fail_a222 void# } in |

332 | $mBloop' |

333 | @ rep_a21X |

334 | @ r_a21Y |

335 | @ * |

336 | @ kk_a1Au |

337 | @ N |

338 | @ a_a1Av |

339 | ((mkTrCon @ * @ N $tcN ([] @ SomeTypeRep)) |

340 | `cast` (Sym (N:Typeable[0]) <*>_N <N>_N |

341 | :: (TypeRep N :: *) ~R# (Typeable N :: Constraint))) |

342 | scrut_a220 |

343 | (\ (ds_d25e :: N :~~: kk_a1Au) (ds_d25f :: TypeRep a_a1Av) -> |

344 | case ds_d25e of { HRefl cobox_a21u cobox_a21v -> |

345 | cont_a221 |

346 | (($f~kab |

347 | @ * |

348 | @ N |

349 | @ N |

350 | (Eq# @ * @ * @ N @ N @~ (<N>_N :: (N :: *) ~# (N :: *)))) |

351 | `cast` (((~) <*>_N <N>_N (Sym cobox_a21v))_R |

352 | :: ((N :: *) ~ (N :: *) :: Constraint) |

353 | ~R# ((N :: *) ~ (kk_a1Au :: *) :: Constraint))) |

354 | ((ds_d25f |

355 | `cast` ((TypeRep cobox_a21v (Sym (Coh <a_a1Av>_N cobox_a21v)))_R |

356 | :: (TypeRep a_a1Av :: *) |

357 | ~R# (TypeRep (a_a1Av |> cobox_a21v) :: *))) |

358 | `cast` ((Sub (Sym (D:R:SING[0])) ; (SING |

359 | (Sym cobox_a21v))_R) (Coh (Sym (Coh <a_a1Av>_N |

360 | cobox_a21v)) |

361 | cobox_a21v ; Coh <a_a1Av>_N |

362 | cobox_a21v) |

363 | :: (TypeRep (a_a1Av |> cobox_a21v) :: *) ~R# (SING a_a1Av :: *))) |

364 | }) |

365 | (\ _ [Occ=Dead] -> fail_d25h void#) |

366 | |

367 | $mSO |

368 | :: forall (r :: TYPE rep) kk (a :: kk). |

369 | Typeable a => |

370 | TypeRep a |

371 | -> (((N :: *) ~ (kk :: *), Typeable (a |> cobox_a22j)) => r) |

372 | -> (Void# -> r) |

373 | -> r |

374 | [LclIdX] |

375 | $mSO |

376 | = \ (@ (rep_a22x :: RuntimeRep)) |

377 | (@ (r_a22y :: TYPE rep_a22x)) |

378 | (@ kk_a225) |

379 | (@ (a_a226 :: kk_a225)) |

380 | ($dTypeable_a22w :: Typeable a_a226) |

381 | (scrut_a22A :: TypeRep a_a226) |

382 | (cont_a22B |

383 | :: ((N :: *) ~ (kk_a225 :: *), Typeable (a_a226 |> cobox_a22j)) => |

384 | r_a22y) |

385 | (fail_a22C :: Void# -> r_a22y) -> |

386 | break<7>(fail_a22C,scrut_a22A,cont_a22B) |

387 | let { |

388 | fail_d25p :: Void# -> r_a22y |

389 | [LclId] |

390 | fail_d25p = \ _ [Occ=Dead, OS=OneShot] -> fail_a22C void# } in |

391 | $mRepN |

392 | @ rep_a22x |

393 | @ r_a22y |

394 | @ kk_a225 |

395 | @ a_a226 |

396 | $dTypeable_a22w |

397 | scrut_a22A |

398 | (\ ($d~_a228 :: (N :: *) ~ (kk_a225 :: *)) |

399 | (ds_d25n :: SING a_a226) -> |

400 | case HEq_sc @ * @ * @ N @ kk_a225 ($p1~ @ * @ N @ kk_a225 $d~_a228) |

401 | of cobox_a22i |

402 | { __DEFAULT -> |

403 | $mTypeRep |

404 | @ rep_a22x |

405 | @ r_a22y |

406 | @ N |

407 | @ (a_a226 |> Sym cobox_a22i) |

408 | (ds_d25n |

409 | `cast` (((SING |

410 | (Sym cobox_a22i))_R ; Sub (D:R:SING[0])) (Sym (Coh <a_a226>_N |

411 | (Sym cobox_a22i))) |

412 | :: (SING a_a226 :: *) |

413 | ~R# (TypeRep (a_a226 |> Sym cobox_a22i) :: *))) |

414 | (\ ($dTypeable_a22d :: Typeable (a_a226 |> Sym cobox_a22i)) -> |

415 | cont_a22B $d~_a228 $dTypeable_a22d) |

416 | (\ _ [Occ=Dead] -> fail_d25p void#) |

417 | }) |

418 | (\ _ [Occ=Dead] -> fail_d25p void#) |

419 | |

420 | *** End of Offense *** |

421 | |

422 | Leaving GHCi. |