Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0006301OCamlOCaml runtime systempublic2014-01-20 23:162014-09-15 13:15
ReporterChristophe Troestler 
Assigned To 
Platformx86_64OSGNU/LinuxOS Version3.10.25
Product Version4.01.0 
Target Version4.02.2+devFixed 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 [^] (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:
2014-07-16 13:44 doligez Status new => acknowledged
2014-07-16 13:44 doligez Target Version => 4.02.1+dev
2014-09-04 00:25 doligez Target Version 4.02.1+dev => undecided
2014-09-15 13:15 doligez Target Version undecided => 4.02.2+dev

Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker