Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0006813OCamlotherlibspublic2015-03-13 22:282017-10-10 11:26
Reporterwhitequark 
Assigned Todim 
PrioritynormalSeverityfeatureReproducibilityalways
StatusassignedResolutionopen 
PlatformOSOS Version
Product Version 
Target Version4.07.0+devFixed in Version 
Summary0006813: Provide Thread.set_uncaught_exception_handler
DescriptionOriginal summary was: Uncaught exceptions inside threads don't trigger handler set via Printexc.set_uncaught_exception_handler

See summary.
TagsNo tags attached.
Attached Files

- Relationships

-  Notes
(0013516)
dim (developer)
2015-03-18 16:14

I'm not sure uncaught exceptions inside threads should call the handler set via [Printexc.set_uncaught_exception_handler]: the doc says it is executed after [at_exit] handlers and doesn't require the callback to be thread-safe.

On the other hand it's easy to add a [Thread.set_uncaught_exception_handler]. For multi-threaded programs the handler should probably print the thread id so it make sense to have two different functions.
(0013518)
whitequark (developer)
2015-03-18 16:33

That would work, indeed.
(0017072)
dim (developer)
2017-01-05 13:02

I had another look at this, it should be simpler than the global uncaught exception handler given that the exception is caught on the OCaml side. Do you think you could submit a PR for this? I can review it
(0017106)
whitequark (developer)
2017-01-06 22:34

I don't have time for this.

- Issue History
Date Modified Username Field Change
2015-03-13 22:28 whitequark New Issue
2015-03-14 11:21 dim Assigned To => dim
2015-03-14 11:21 dim Status new => assigned
2015-03-18 15:51 doligez Target Version => 4.02.3+dev
2015-03-18 16:14 dim Note Added: 0013516
2015-03-18 16:33 whitequark Note Added: 0013518
2015-07-10 16:49 doligez Target Version 4.02.3+dev => 4.03.0+dev / +beta1
2016-04-18 13:54 doligez Target Version 4.03.0+dev / +beta1 => 4.03.1+dev
2017-01-05 13:00 dim Target Version 4.03.1+dev => 4.05.0 +dev/beta1/beta2/beta3/rc1
2017-01-05 13:02 dim Note Added: 0017072
2017-01-06 22:34 whitequark Note Added: 0017106
2017-02-18 18:00 xleroy Severity minor => feature
2017-02-18 18:00 xleroy Target Version 4.05.0 +dev/beta1/beta2/beta3/rc1 => 4.06.0 +dev/beta1/beta2/rc1
2017-02-18 18:00 xleroy Summary Uncaught exceptions inside threads don't trigger handler set via Printexc.set_uncaught_exception_handler => Provide Thread.set_uncaught_exception_handler
2017-02-18 18:00 xleroy Description Updated View Revisions
2017-02-23 16:42 doligez Category OCaml otherlibs => otherlibs
2017-10-10 11:26 frisch Target Version 4.06.0 +dev/beta1/beta2/rc1 => 4.07.0+dev


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker