# Ticket #15664: bug.log

File bug.log, 15.7 KB (added by , 4 months ago) |
---|

Line | |
---|---|

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

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

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

4 | <no location info>: warning: |

5 | In the type ‘forall k (f :: k). ApplyT k f ~> Apply k f’ |

6 | Un-saturated type application Apply k_a1BA f_a1BB |

7 | *** Offending Program *** |

8 | Rec { |

9 | $tcApplyT :: TyCon |

10 | [LclIdX] |

11 | $tcApplyT |

12 | = TyCon |

13 | 14646326419187070856## |

14 | 770477529860249545## |

15 | $trModule |

16 | (TrNameS "ApplyT"#) |

17 | 1# |

18 | $krep_a1GA |

19 | |

20 | $tc'A0 :: TyCon |

21 | [LclIdX] |

22 | $tc'A0 |

23 | = TyCon |

24 | 735812159254998211## |

25 | 2756920710479752765## |

26 | $trModule |

27 | (TrNameS "'A0"#) |

28 | 1# |

29 | $krep_a1GE |

30 | |

31 | $tc'AS :: TyCon |

32 | [LclIdX] |

33 | $tc'AS |

34 | = TyCon |

35 | 8819886702588154645## |

36 | 7410505460215004544## |

37 | $trModule |

38 | (TrNameS "'AS"#) |

39 | 5# |

40 | $krep_a1GH |

41 | |

42 | $tcCtx :: TyCon |

43 | [LclIdX] |

44 | $tcCtx |

45 | = TyCon |

46 | 2690194592515287641## |

47 | 16148815606639006537## |

48 | $trModule |

49 | (TrNameS "Ctx"#) |

50 | 0# |

51 | krep$*Arr* |

52 | |

53 | $tc'E :: TyCon |

54 | [LclIdX] |

55 | $tc'E |

56 | = TyCon |

57 | 14853457200836118463## |

58 | 4678530544106864470## |

59 | $trModule |

60 | (TrNameS "'E"#) |

61 | 0# |

62 | $krep_a1GR |

63 | |

64 | $tc':&: :: TyCon |

65 | [LclIdX] |

66 | $tc':&: |

67 | = TyCon |

68 | 10176648281615643310## |

69 | 450120320814288744## |

70 | $trModule |

71 | (TrNameS "':&:"#) |

72 | 2# |

73 | $krep_a1GS |

74 | |

75 | $krep_a1GJ [InlPrag=NOUSERINLINE[~]] :: KindRep |

76 | [LclId] |

77 | $krep_a1GJ = KindRepApp $krep_a1GK $krep_a1GL |

78 | |

79 | $krep_a1GL [InlPrag=NOUSERINLINE[~]] :: KindRep |

80 | [LclId] |

81 | $krep_a1GL = $WKindRepVar (I# 3#) |

82 | |

83 | $krep_a1GK [InlPrag=NOUSERINLINE[~]] :: KindRep |

84 | [LclId] |

85 | $krep_a1GK = $WKindRepVar (I# 2#) |

86 | |

87 | $krep_a1GM [InlPrag=NOUSERINLINE[~]] :: KindRep |

88 | [LclId] |

89 | $krep_a1GM = $WKindRepVar (I# 4#) |

90 | |

91 | $krep_a1GQ [InlPrag=NOUSERINLINE[~]] :: KindRep |

92 | [LclId] |

93 | $krep_a1GQ |

94 | = KindRepTyConApp |

95 | $tc':&: |

96 | (: @ KindRep |

97 | $krep_a1GP |

98 | (: @ KindRep |

99 | $krep_a1GB |

100 | (: @ KindRep $krep_a1GL (: @ KindRep $krep_a1GM ([] @ KindRep))))) |

101 | |

102 | $krep_a1GG [InlPrag=NOUSERINLINE[~]] :: KindRep |

103 | [LclId] |

104 | $krep_a1GG = KindRepTyConApp $tc'E ([] @ KindRep) |

105 | |

106 | $krep_a1GB [InlPrag=NOUSERINLINE[~]] :: KindRep |

107 | [LclId] |

108 | $krep_a1GB = $WKindRepVar (I# 0#) |

109 | |

110 | $krep_a1GP [InlPrag=NOUSERINLINE[~]] :: KindRep |

111 | [LclId] |

112 | $krep_a1GP = $WKindRepVar (I# 1#) |

113 | |

114 | $krep_a1GW [InlPrag=NOUSERINLINE[~]] :: KindRep |

115 | [LclId] |

116 | $krep_a1GW = KindRepFun $krep_a1GB $krep_a1GP |

117 | |

118 | $krep_a1GA [InlPrag=NOUSERINLINE[~]] :: KindRep |

119 | [LclId] |

120 | $krep_a1GA = KindRepFun $krep_a1GB $krep_a1GC |

121 | |

122 | $krep_a1GS [InlPrag=NOUSERINLINE[~]] :: KindRep |

123 | [LclId] |

124 | $krep_a1GS = KindRepFun $krep_a1GB $krep_a1GT |

125 | |

126 | $krep_a1GE [InlPrag=NOUSERINLINE[~]] :: KindRep |

127 | [LclId] |

128 | $krep_a1GE = KindRepFun $krep_a1GB $krep_a1GF |

129 | |

130 | $krep_a1GO [InlPrag=NOUSERINLINE[~]] :: KindRep |

131 | [LclId] |

132 | $krep_a1GO = KindRepFun $krep_a1GP $krep_a1GB |

133 | |

134 | $krep_a1GH [InlPrag=NOUSERINLINE[~]] :: KindRep |

135 | [LclId] |

136 | $krep_a1GH = KindRepFun $krep_a1GI $krep_a1GN |

137 | |

138 | $krep_a1GC [InlPrag=NOUSERINLINE[~]] :: KindRep |

139 | [LclId] |

140 | $krep_a1GC = KindRepFun $krep_a1GD krep$* |

141 | |

142 | $krep_a1GT [InlPrag=NOUSERINLINE[~]] :: KindRep |

143 | [LclId] |

144 | $krep_a1GT = KindRepFun $krep_a1GU $krep_a1GV |

145 | |

146 | $krep_a1GI [InlPrag=NOUSERINLINE[~]] :: KindRep |

147 | [LclId] |

148 | $krep_a1GI |

149 | = KindRepTyConApp |

150 | $tcApplyT |

151 | (: @ KindRep |

152 | $krep_a1GB |

153 | (: @ KindRep $krep_a1GJ (: @ KindRep $krep_a1GM ([] @ KindRep)))) |

154 | |

155 | $krep_a1GN [InlPrag=NOUSERINLINE[~]] :: KindRep |

156 | [LclId] |

157 | $krep_a1GN |

158 | = KindRepTyConApp |

159 | $tcApplyT |

160 | (: @ KindRep |

161 | $krep_a1GO |

162 | (: @ KindRep $krep_a1GK (: @ KindRep $krep_a1GQ ([] @ KindRep)))) |

163 | |

164 | $krep_a1GF [InlPrag=NOUSERINLINE[~]] :: KindRep |

165 | [LclId] |

166 | $krep_a1GF |

167 | = KindRepTyConApp |

168 | $tcApplyT |

169 | (: @ KindRep |

170 | krep$* |

171 | (: @ KindRep $krep_a1GB (: @ KindRep $krep_a1GG ([] @ KindRep)))) |

172 | |

173 | $krep_a1GD [InlPrag=NOUSERINLINE[~]] :: KindRep |

174 | [LclId] |

175 | $krep_a1GD |

176 | = KindRepTyConApp $tcCtx (: @ KindRep $krep_a1GB ([] @ KindRep)) |

177 | |

178 | $krep_a1GU [InlPrag=NOUSERINLINE[~]] :: KindRep |

179 | [LclId] |

180 | $krep_a1GU |

181 | = KindRepTyConApp $tcCtx (: @ KindRep $krep_a1GP ([] @ KindRep)) |

182 | |

183 | $krep_a1GV [InlPrag=NOUSERINLINE[~]] :: KindRep |

184 | [LclId] |

185 | $krep_a1GV |

186 | = KindRepTyConApp $tcCtx (: @ KindRep $krep_a1GW ([] @ KindRep)) |

187 | |

188 | $krep_a1GR [InlPrag=NOUSERINLINE[~]] :: KindRep |

189 | [LclId] |

190 | $krep_a1GR |

191 | = KindRepTyConApp $tcCtx (: @ KindRep krep$* ([] @ KindRep)) |

192 | |

193 | $trModule :: Module |

194 | [LclIdX] |

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

196 | |

197 | unravel :: forall k (f :: k). ApplyT k f ~> Apply k f |

198 | [LclIdX] |

199 | unravel |

200 | = \ (@ k_a1F2) |

201 | (@ (f_a1F3 :: k_a1F2)) |

202 | (@ (xx_a1F4 :: Ctx k_a1F2)) |

203 | (ds_d1GX :: ApplyT k_a1F2 f_a1F3 xx_a1F4) -> |

204 | case ds_d1GX of wild_00 { |

205 | A0 @ a_a1F6 co_a1F7 co_a1F8 co_a1F9 a_a1BC -> |

206 | let { |

207 | co_a1Fu :: xx_a1F4 ~# ('E |> (Ctx (Sym co_a1F7))_N) |

208 | [LclId[CoVarId]] |

209 | co_a1Fu = CO: co_a1F9 ; GRefl nominal 'E (Ctx (Sym co_a1F7))_N } in |

210 | let { |

211 | co_a1Fr :: f_a1F3 ~# (a_a1F6 |> Sym co_a1F7) |

212 | [LclId[CoVarId]] |

213 | co_a1Fr = CO: co_a1F8 ; GRefl nominal a_a1F6 (Sym co_a1F7) } in |

214 | let { |

215 | co_a1Fs :: (f_a1F3 |> co_a1F7) ~# a_a1F6 |

216 | [LclId[CoVarId]] |

217 | co_a1Fs |

218 | = CO: (Sym (GRefl nominal f_a1F3 |

219 | co_a1F7) ; co_a1Fr) ; Sym (GRefl nominal a_a1F6 (Sym co_a1F7)) } in |

220 | let { |

221 | co_a1Ft :: a_a1F6 ~# (f_a1F3 |> co_a1F7) |

222 | [LclId[CoVarId]] |

223 | co_a1Ft = CO: Sym co_a1Fs } in |

224 | break<0>(a_a1BC) |

225 | a_a1BC |

226 | `cast` (Sub ((Sym ((Sym (GRefl nominal f_a1F3 |

227 | co_a1F7) ; GRefl nominal f_a1F3 |

228 | co_a1F7) ; Sym co_a1Ft) ; (Sym (GRefl nominal f_a1F3 |

229 | co_a1F7) ; GRefl nominal f_a1F3 |

230 | co_a1F7)) ; (Sym (D:R:Apply[0] |

231 | <(f_a1F3 |> co_a1F7)>_N ; Sym (Sym (GRefl nominal f_a1F3 |

232 | co_a1F7) ; GRefl nominal f_a1F3 |

233 | co_a1F7)) ; (Apply |

234 | (Sym co_a1F7) |

235 | (Sym (GRefl nominal f_a1F3 |

236 | co_a1F7)) |

237 | (Sym (GRefl nominal ('E |> (Ctx |

238 | (Sym co_a1F7))_N) |

239 | (Sym (Ctx |

240 | (Sym co_a1F7))_N)) ; ((Sym (GRefl nominal 'E |

241 | (Ctx |

242 | (Sym co_a1F7))_N) ; GRefl nominal 'E |

243 | (Ctx |

244 | (Sym co_a1F7))_N) ; Sym co_a1Fu)))_N)) |

245 | :: a_a1F6[ssk:2] ~R# Apply k_a1F2 f_a1F3 xx_a1F4[sk:1]); |

246 | AS @ ks_a1Fc @ k_a1Fd @ f_a1Fe @ a_a1Ff @ as_a1Fg co_a1Fh co_a1Fi |

247 | co_a1Fj fa_a1BD -> |

248 | let { |

249 | co_a1FB |

250 | :: xx_a1F4 ~# (a_a1Ff ':&: as_a1Fg |> (Ctx (Sym co_a1Fh))_N) |

251 | [LclId[CoVarId]] |

252 | co_a1FB |

253 | = CO: co_a1Fj ; GRefl nominal (a_a1Ff ':&: as_a1Fg) |

254 | (Ctx (Sym co_a1Fh))_N } in |

255 | let { |

256 | co_a1Fy :: f_a1F3 ~# (f_a1Fe |> Sym co_a1Fh) |

257 | [LclId[CoVarId]] |

258 | co_a1Fy = CO: co_a1Fi ; GRefl nominal f_a1Fe (Sym co_a1Fh) } in |

259 | let { |

260 | co_a1Fz :: (f_a1F3 |> co_a1Fh) ~# f_a1Fe |

261 | [LclId[CoVarId]] |

262 | co_a1Fz |

263 | = CO: (Sym (GRefl nominal f_a1F3 |

264 | co_a1Fh) ; co_a1Fy) ; Sym (GRefl nominal f_a1Fe (Sym co_a1Fh)) } in |

265 | let { |

266 | co_a1FA :: f_a1Fe ~# (f_a1F3 |> co_a1Fh) |

267 | [LclId[CoVarId]] |

268 | co_a1FA = CO: Sym co_a1Fz } in |

269 | break<1>(fa_a1BD) |

270 | (unravel @ ks_a1Fc @ (f_a1Fe a_a1Ff) @ as_a1Fg fa_a1BD) |

271 | `cast` (Sub (Sym ((Apply |

272 | <ks_a1Fc>_N |

273 | ((Sym (GRefl nominal f_a1F3 co_a1Fh) ; GRefl nominal f_a1F3 |

274 | co_a1Fh) <a_a1Ff>_N) |

275 | <as_a1Fg>_N)_N ; (Apply |

276 | <ks_a1Fc>_N |

277 | (((Sym (GRefl nominal f_a1F3 |

278 | co_a1Fh) ; GRefl nominal f_a1F3 |

279 | co_a1Fh) ; Sym co_a1FA) <a_a1Ff>_N) |

280 | <as_a1Fg>_N)_N) ; (Sym (D:R:Apply[1] |

281 | <k_a1Fd>_N |

282 | <ks_a1Fc>_N |

283 | <(f_a1F3 |> co_a1Fh)>_N |

284 | <a_a1Ff>_N |

285 | <as_a1Fg>_N ; Sym ((Apply |

286 | <ks_a1Fc>_N |

287 | ((Sym (GRefl nominal f_a1F3 |

288 | co_a1Fh) ; GRefl nominal f_a1F3 |

289 | co_a1Fh) <a_a1Ff>_N) |

290 | <as_a1Fg>_N)_N ; (Apply |

291 | <ks_a1Fc>_N |

292 | ((Sym (GRefl nominal f_a1F3 |

293 | co_a1Fh) ; GRefl nominal f_a1F3 |

294 | co_a1Fh) <a_a1Ff>_N) |

295 | <as_a1Fg>_N)_N)) ; (Apply |

296 | (Sym co_a1Fh) |

297 | (Sym (GRefl nominal f_a1F3 |

298 | co_a1Fh)) |

299 | (Sym (GRefl nominal (a_a1Ff |

300 | ':&: as_a1Fg |> (Ctx |

301 | (Sym co_a1Fh))_N) |

302 | (Sym (Ctx |

303 | (Sym co_a1Fh))_N)) ; ((Sym (GRefl nominal (a_a1Ff |

304 | ':&: as_a1Fg) |

305 | (Ctx |

306 | (Sym co_a1Fh))_N) ; GRefl nominal (a_a1Ff |

307 | ':&: as_a1Fg) |

308 | (Ctx |

309 | (Sym co_a1Fh))_N) ; Sym co_a1FB)))_N)) |

310 | :: Apply ks_a1Fc (f_a1Fe[ssk:2] a_a1Ff) as_a1Fg |

311 | ~R# Apply k_a1F2 f_a1F3 xx_a1F4[sk:1]) |

312 | } |

313 | end Rec } |

314 | |

315 | *** End of Offense *** |

316 | |

317 | Leaving GHCi. |