Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0005479OCamlOCaml documentationpublic2012-01-14 19:372013-08-31 12:44
Reporterkosik 
Assigned Tolefessan 
PrioritylowSeverityminorReproducibilityalways
StatusclosedResolutionfixed 
PlatformOSOS Version
Product Version3.12.0 
Target VersionFixed in Version3.13.0+dev 
Summary0005479: Num.num_of_string may raise an exception. This is not reflected in the documentation.
DescriptionSo far, every exception that may be raised by a particular function is also mentioned in the documentation to that function. This practise is violated in case of Num.num_of_string function which is probably a mistake.
TagsNo tags attached.
Attached Files

- Relationships

-  Notes
(0006678)
kosik (reporter)
2012-01-14 19:39

# Num.num_of_string "abc";;
Exception: Failure "num_of_string".
(0006704)
lefessan (developer)
2012-01-17 21:33

This information was added in the documentation.

- Issue History
Date Modified Username Field Change
2012-01-14 19:37 kosik New Issue
2012-01-14 19:39 kosik Note Added: 0006678
2012-01-17 15:31 xleroy Status new => confirmed
2012-01-17 21:33 lefessan Note Added: 0006704
2012-01-17 21:33 lefessan Status confirmed => resolved
2012-01-17 21:33 lefessan Fixed in Version => 3.13.0+dev
2012-01-17 21:33 lefessan Resolution open => fixed
2012-01-17 21:33 lefessan Assigned To => lefessan
2013-08-31 12:44 xleroy Status resolved => closed


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker