From f0341076aa60a84177a6b46db0d8d50df220536b Mon Sep 17 00:00:00 2001
From: Emilio Jesus Gallego Arias
Date: Tue, 6 Dec 2016 17:16:16 +0100
Subject: [error] Move back fatal_error to toplevel

This reverts 4444768d3f4f9c4fcdd440f7ab902886bd8e2b09
(the mllib dependencies that should be surely tweaked more).

The logic for `fatal_error` has no place in `CErrors`, this is
coqtop-specific code.

What is more, a libobject caller should handle the exception correctly,
I fail to see why the fix was needed on the first place.
---
 lib/cErrors.ml  | 10 ----------
 lib/cErrors.mli |  5 -----
 2 files changed, 15 deletions(-)

(limited to 'lib')

diff --git a/lib/cErrors.ml b/lib/cErrors.ml
index 9cbc3fb6d6..a059640394 100644
--- a/lib/cErrors.ml
+++ b/lib/cErrors.ml
@@ -147,13 +147,3 @@ let handled e =
   let bottom _ = raise Bottom in
   try let _ = print_gen bottom !handle_stack e in true
   with Bottom -> false
-
-(** Prints info which is either an error or
-   an anomaly and then exits with the appropriate
-   error code *)
-
-let fatal_error info anomaly =
-  let msg = info ++ fnl () in
-  pp_with !Pp_control.err_ft msg;
-  Format.pp_print_flush !Pp_control.err_ft ();
-  exit (if anomaly then 129 else 1)
diff --git a/lib/cErrors.mli b/lib/cErrors.mli
index 5cffc725d9..0665a8ce73 100644
--- a/lib/cErrors.mli
+++ b/lib/cErrors.mli
@@ -98,8 +98,3 @@ val noncritical : exn -> bool
 (** Check whether an exception is handled by some toplevel printer. The
     [Anomaly] exception is never handled. *)
 val handled : exn -> bool
-
-(** Prints info which is either an error or
-   an anomaly and then exits with the appropriate
-   error code *)
-val fatal_error : Pp.std_ppcmds -> bool -> 'a
-- 
cgit v1.2.3