You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Original bug ID: 7291 Reporter:@c-cube Assigned to:@mshinwell Status: closed (set by @damiendoligez on 2016-10-26T14:26:19Z) Resolution: fixed Priority: normal Severity: crash Platform: all? OS: archlinux 64 bits Version: 4.03.0 Target version: 4.04.0 +dev / +beta1 / +beta2 Fixed in version: 4.04.0 +dev / +beta1 / +beta2 Category: middle end (typedtree to clambda)
Bug description
A project of mine compiles fine on 4.03.0, but fails in 4.03.0+flambda with the following error:
>> Fatal error: When simplifying [Project_var], the closure ID subst/3626 in the approximation of the set of closures did not match the closure ID subst_partial_fun/3548 in the [Project_var] term. Approximation: { descr=(closure:
subst/3626 from { descr=(set_of_closures:
subst/3626 invariant_params={ (param/3627 { }) } freshening={ vars_within_closure
{ (id/3573 id/3625) }, closure_id { (subst/3574 subst/3626) } }) var=subst_set_of_closures/3632 symbol=<no symbol> }) var=subst/3636 symbol=<no symbol> }
Var-within-closure being projected: subst_1967/3549
Fatal error: exception Misc.Fatal_error
Original bug ID: 7291
Reporter: @c-cube
Assigned to: @mshinwell
Status: closed (set by @damiendoligez on 2016-10-26T14:26:19Z)
Resolution: fixed
Priority: normal
Severity: crash
Platform: all?
OS: archlinux 64 bits
Version: 4.03.0
Target version: 4.04.0 +dev / +beta1 / +beta2
Fixed in version: 4.04.0 +dev / +beta1 / +beta2
Category: middle end (typedtree to clambda)
Bug description
A project of mine compiles fine on 4.03.0, but fails in 4.03.0+flambda with the following error:
Steps to reproduce
$ opam sw 4.03.0+flambda
$ opam pin add -k git nunchaku https://github.com/nunchaku-inria/nunchaku.git#bug-flambda
^
it should fail during compilation of nunchaku itself. Sorry, the compilation is a bit long.
Additional information
Opam files are attached (colored output enabled, use less -R).
File attachments
The text was updated successfully, but these errors were encountered: