From 9d2ebaa610b0fde6354cf86e4bbfae95cec71f09 Mon Sep 17 00:00:00 2001
From: herbelin
Date: Mon, 28 May 2007 22:54:04 +0000
Subject: Contrôle de la compatibilité de apply via une information dans les
 métas permettant de savoir si une instance de méta vient d'un with-binding ou
 d'une unification, et si elle a déjà été typée ou pas.

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@9866 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 toplevel/cerrors.ml | 10 +++++-----
 1 file changed, 5 insertions(+), 5 deletions(-)

(limited to 'toplevel')

diff --git a/toplevel/cerrors.ml b/toplevel/cerrors.ml
index 9d1d8d1846..4c600bc663 100644
--- a/toplevel/cerrors.ml
+++ b/toplevel/cerrors.ml
@@ -28,10 +28,6 @@ let guill s = "\""^s^"\""
 let where s =
   if !Options.debug then  (str"in " ++ str s ++ str":" ++ spc ()) else (mt ())
 
-let anomaly_string () = str "Anomaly: "
-
-let report () = (str "." ++ spc () ++ str "Please report.")
-
 (* assumption : explain_sys_exn does NOT end with a 'FNL anymore! *)
 
 let rec explain_exn_default_aux anomaly_string report_fn = function
@@ -127,8 +123,12 @@ let rec explain_exn_default_aux anomaly_string report_fn = function
       hov 0 (anomaly_string () ++ str "Uncaught exception " ++ 
 	       str (Printexc.to_string reraise) ++ report_fn ())
 
+let anomaly_string () = str "Anomaly: "
+
+let report () = (str "." ++ spc () ++ str "Please report.")
+
 let explain_exn_default =
-    explain_exn_default_aux (fun () -> str "Anomaly: ") report
+  explain_exn_default_aux anomaly_string report
 
 let raise_if_debug e =
   if !Options.debug then raise e
-- 
cgit v1.2.3