Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0006301OCamlOCaml runtime systempublic2014-01-20 23:162015-01-20 23:03
ReporterChristophe Troestler 
Assigned To 
Platformx86_64OSGNU/LinuxOS Version3.10.25
Product Version4.01.0 
Target Version4.03.0+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
doligez (administrator)
2015-01-20 23:03

Maybe we should just un-deprecate Printexc.catch.

Having the runtime's generic exception printer call back to user code seems like a lot of trouble.

- 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 / +rc1
2015-01-20 23:03 doligez Note Added: 0013159
2015-01-20 23:03 doligez Target Version 4.02.2+dev / +rc1 => 4.03.0+dev

Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker