diff options
| author | Pierre-Marie Pédrot | 2015-05-18 17:47:58 +0200 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2015-05-18 19:04:32 +0200 |
| commit | ea3909466eaaf86ff212c0a002e5df11e4a979f5 (patch) | |
| tree | 2fd23c2ffa95c3bcfcd5c3e15404716dbc4df283 /lib/errors.mli | |
| parent | b994685d85d30f0db8ee0ec10f802f6bf3797e4b (diff) | |
The Fail command does not catch uncaught exception anomalies anymore.
Diffstat (limited to 'lib/errors.mli')
| -rw-r--r-- | lib/errors.mli | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/lib/errors.mli b/lib/errors.mli index 5bd5724746..8320ce409f 100644 --- a/lib/errors.mli +++ b/lib/errors.mli @@ -88,3 +88,7 @@ val iprint_no_report : Exninfo.iexn -> Pp.std_ppcmds 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 |