[r2005-07-30 08:24:00 by afrisch] Empty log message

Original author: afrisch
Date: 2005-07-30 08:25:28+00:00

runtime/explain.ml

@@ -141,3 +141,11 @@ let do_check d v =
     let p = simplify p in
     let s = print_to_string print p in
     raise (CDuceExn (string_latin1 s))
+
+let check_failure d v =
+  try check d v; v
+  with Failed p ->
+    let p = simplify p in
+    let s = print_to_string print p in
+    failwith s
+

runtime/explain.mli

@@ -12,3 +12,6 @@ val check: Auto_pat.state -> Value.t -> unit
 
 val do_check: Auto_pat.state -> Value.t -> Value.t
   (** Same, but raise a CDuce exception. *)
+
+val check_failure: Auto_pat.state -> Value.t -> Value.t
+  (** Raise [Failure ...]. *)