From ea3909466eaaf86ff212c0a002e5df11e4a979f5 Mon Sep 17 00:00:00 2001
From: Pierre-Marie Pédrot
Date: Mon, 18 May 2015 17:47:58 +0200
Subject: The Fail command does not catch uncaught exception anomalies anymore.

---
 lib/errors.mli | 4 ++++
 1 file changed, 4 insertions(+)

(limited to 'lib/errors.mli')

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
-- 
cgit v1.2.3