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: 6290 Reporter: Marcgal Status: closed (set by @xavierleroy on 2017-02-16T14:18:29Z) Resolution: not a bug Priority: normal Severity: minor Version: 4.01.0 Category: otherlibs
However, it seems that it is not possible to get these values since typing "(num_of_int 0)//(num_of_int 0)" or (num_of_int 1)//(num_of_int 0) produces Exception: Failure "create_ratio infinite or undefined rational number".
Happens in the toplevel as well as during execution of an Ocaml program compiled with Ocaml batch compiler or Ocaml native compiler. Tested in Ocaml version 4.01.0 and 3.12.1
The text was updated successfully, but these errors were encountered:
Original bug ID: 6290
Reporter: Marcgal
Status: closed (set by @xavierleroy on 2017-02-16T14:18:29Z)
Resolution: not a bug
Priority: normal
Severity: minor
Version: 4.01.0
Category: otherlibs
Bug description
The documentation the Num library (http://caml.inria.fr/pub/docs/manual-ocaml/libref/Num.html) claims that "Numbers (type num) are arbitrary-precision rational numbers, plus the special elements 1/0 (infinity) and 0/0 (undefined)."
However, it seems that it is not possible to get these values since typing "(num_of_int 0)//(num_of_int 0)" or (num_of_int 1)//(num_of_int 0) produces Exception: Failure "create_ratio infinite or undefined rational number".
Happens in the toplevel as well as during execution of an Ocaml program compiled with Ocaml batch compiler or Ocaml native compiler. Tested in Ocaml version 4.01.0 and 3.12.1
The text was updated successfully, but these errors were encountered: