Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0006290OCamlOCaml standard librarypublic2014-01-08 17:262014-01-08 17:26
ReporterMarcgal 
Assigned To 
PrioritynormalSeverityminorReproducibilityalways
StatusnewResolutionopen 
PlatformOSOS Version
Product Version4.01.0 
Target VersionFixed in Version 
Summary0006290: Unable to get mentioned in documentation Num elements infinity and undefined
DescriptionThe 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
TagsNo tags attached.
Attached Files

- Relationships

-  Notes
There are no notes attached to this issue.

- Issue History
Date Modified Username Field Change
2014-01-08 17:26 Marcgal New Issue


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker