Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0007708OCamlocamldocpublic2018-01-12 13:522018-01-12 13:53
Assigned To 
PlatformOSOS Version
Product Version4.06.0 
Target VersionFixed in Version 
Summary0007708: Online Manual does not list builtin types and builtin exception in index
DescriptionThe very nice manual includes a "list of exceptions" at [^]

This is very useful to read up on exceptions, but the builtin ones, like Invalid_argument, Out_of_memory, Failure, etc. are not listed there (they are explained the manual ( [^])).

It would be really great to extend the index with these builtin exceptions (and types) for a better user experience.
TagsNo tags attached.
Attached Files

- Relationships

-  Notes
There are no notes attached to this issue.

- Issue History
Date Modified Username Field Change
2018-01-12 13:52 hannes New Issue

Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker