diff options
Diffstat (limited to 'toplevel')
| -rw-r--r-- | toplevel/cerrors.ml | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/toplevel/cerrors.ml b/toplevel/cerrors.ml index dfedc178fb..08c0bac1c8 100644 --- a/toplevel/cerrors.ml +++ b/toplevel/cerrors.ml @@ -49,6 +49,9 @@ let rec explain_exn_default_aux anomaly_string report_fn = function hov 0 (str "Timeout!") | Anomaly (s,pps) -> hov 0 (anomaly_string () ++ where s ++ pps ++ report_fn ()) + | AnomalyOnError (s,exc) -> + hov 0 (anomaly_string () ++ str s ++ str ". Received exception is:" ++ + fnl() ++ explain_exn_default_aux anomaly_string report_fn exc) | Match_failure(filename,pos1,pos2) -> hov 0 (anomaly_string () ++ str "Match failure in file " ++ str (guill filename) ++ if Sys.ocaml_version = "3.06" then |