Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0006290OCamlOCaml otherlibspublic2014-01-08 17:262015-01-20 23:00
Assigned To 
PlatformOSOS Version
Product Version4.01.0 
Target Version4.03.0+devFixed in Version 
Summary0006290: Unable to get mentioned in documentation Num elements infinity and undefined
DescriptionThe documentation the Num library ( [^]) 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
doligez (administrator)
2015-01-20 23:00

We should probably fix the docs.

- 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
2014-09-04 00:25 doligez Target Version 4.02.1+dev => undecided
2014-09-15 13:18 doligez Target Version undecided => 4.02.2+dev
2015-01-20 23:00 doligez Note Added: 0013158
2015-01-20 23:00 doligez Target Version 4.02.2+dev => 4.03.0+dev

Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker