diff options
| author | Emilio Jesus Gallego Arias | 2019-06-16 15:31:27 +0200 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias | 2019-06-18 17:11:09 +0200 |
| commit | 85d770bdb52c73e741738f7193206a5d6896dc02 (patch) | |
| tree | 26b1ac2de932376266a00d61e764f7da75a2900b /lib/cErrors.mli | |
| parent | 8acc04d4c33ed41ac8dfa668a026010d4592388d (diff) | |
[errors] remove "is_handled" logic, turn unhandled into anomalies
We place the check for unhandled exceptions in the `is_anomaly`
function, and consider all the exceptions non-handled by the printers
always anomalies.
This reworks the solution implemented in
ea3909466eaaf86ff212c0a002e5df11e4a979f5 , in particular
`allow_uncaught` cannot be used anymore, all exceptions must install a
printer.
In order to pass the test-suite CI we also had to register some
printers, that were not registered for no reason, forcing clients to
call a post-processing step on errors.
Diffstat (limited to 'lib/cErrors.mli')
| -rw-r--r-- | lib/cErrors.mli | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/lib/cErrors.mli b/lib/cErrors.mli index 8bb161d745..51ec5c907a 100644 --- a/lib/cErrors.mli +++ b/lib/cErrors.mli @@ -89,7 +89,3 @@ val iprint_no_report : Exninfo.iexn -> Pp.t Typical example: [Sys.Break], [Assert_failure], [Anomaly] ... *) val noncritical : exn -> bool - -(** Check whether an exception is handled by some toplevel printer. The - [Anomaly] exception is never handled. *) -val handled : exn -> bool |