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: 7328 Reporter:@yallop Assigned to:@chambart Status: closed (set by @damiendoligez on 2016-10-26T15:03:00Z) Resolution: fixed Priority: normal Severity: minor Version: 4.04.0 +dev / +beta1 / +beta2 Target version: 4.05.0 +dev/beta1/beta2/beta3/rc1 Fixed in version: 4.05.0 +dev/beta1/beta2/beta3/rc1 Category: middle end (typedtree to clambda)
Bug description
Example:
$ cat div.ml
let _ = Int64.div 1L 0L in print_endline "done"
With flambda:
$ opam switch 4.04.0+beta1+flambda
# To setup the new switch in the current shell, you need to run:
eval `opam config env`
$ eval `opam config env`
$ ocamlopt div.ml && ./a.out
done
Without flambda:
$ opam switch 4.04.0+beta1
# To setup the new switch in the current shell, you need to run:
eval `opam config env`
$ eval `opam config env`
$ ocamlopt div.ml && ./a.out
Fatal error: exception Division_by_zero
The text was updated successfully, but these errors were encountered:
Original bug ID: 7328
Reporter: @yallop
Assigned to: @chambart
Status: closed (set by @damiendoligez on 2016-10-26T15:03:00Z)
Resolution: fixed
Priority: normal
Severity: minor
Version: 4.04.0 +dev / +beta1 / +beta2
Target version: 4.05.0 +dev/beta1/beta2/beta3/rc1
Fixed in version: 4.05.0 +dev/beta1/beta2/beta3/rc1
Category: middle end (typedtree to clambda)
Bug description
Example:
With flambda:
Without flambda:
The text was updated successfully, but these errors were encountered: