Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0006290OCamlOCaml otherlibspublic2014-01-08 17:262014-07-16 13:48
ReporterMarcgal 
Assigned To 
PrioritynormalSeverityminorReproducibilityalways
StatusacknowledgedResolutionopen 
PlatformOSOS Version
Product Version4.01.0 
Target Version4.02.1+devFixed 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
2014-07-16 13:48 doligez Status new => acknowledged
2014-07-16 13:48 doligez Category OCaml standard library => OCaml otherlibs
2014-07-16 13:48 doligez Target Version => 4.02.1+dev


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker