Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0006301OCamlOCaml runtime systempublic2014-01-20 23:162014-01-21 00:15
ReporterChristophe Troestler 
Assigned To 
PrioritynormalSeverityminorReproducibilityalways
StatusnewResolutionopen 
Platformx86_64OSGNU/LinuxOS Version3.10.25
Product Version4.01.0 
Target VersionFixed in Version 
Summary0006301: Improve the printing of exceptions (pp registered)
DescriptionThe documentation of Printexc.catch says it is deprecated because "the runtime system is now able to print uncaught exceptions as precisely as [Printexc.catch] does". However, that is not entirely true (even) when exception pp are registered. On my machine, the attached code prints:

Uncaught exception: Err.E(A)
Fatal error: exception Err.E(0)
TagsNo tags attached.
Attached Files? file icon err.ml [^] (362 bytes) 2014-01-20 23:16 [Show Content]

- Relationships

-  Notes
There are no notes attached to this issue.

- Issue History
Date Modified Username Field Change
2014-01-20 23:16 Christophe Troestler New Issue
2014-01-20 23:16 Christophe Troestler File Added: err.ml


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker