rattrapage exceptions autres que UserError

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@254 85f007b7-540e-0410-9357-904b9bb8a0f7

4 files changed, 23 insertions, 0 deletions

diff --git a/dev/TODO b/dev/TODO
index c377eac2b0..68f0474261 100644
--- a/dev/TODO
+++ b/dev/TODO
@@ -1,4 +1,10 @@
 
+ o warning camlp4 
+	<W> Changing associativity of level "<top>"
+   à comprendre et supprimmer
+   (on peut faire Grammar.warning_verbose := False, mais il vaut mieux
+   comprendre)
+
  o options de la ligne de commande
      - reporter les options de l'ancien script coqtop sur le nouveau coqtop.ml
 
diff --git a/dev/base_db b/dev/base_db
index c068b875cd..d34ae6b688 100644
--- a/dev/base_db
+++ b/dev/base_db
@@ -1,3 +1,4 @@
+load_printer "gramlib.cma"
 load_printer "top_printers.cmo"
 install_printer Top_printers.prid
 install_printer Top_printers.prsp
diff --git a/dev/changements.txt b/dev/changements.txt
index ab188cafb9..da1b10255b 100644
--- a/dev/changements.txt
+++ b/dev/changements.txt
@@ -21,6 +21,21 @@ Changements dans les types de données :
   context        ->  typed_type signature
 
 
+ATTENTION:
+----------
+
+  Il y a maintenant d'autres exceptions que UserError (TypeError,
+  RefinerError, etc.)
+
+  Il ne faut donc plus se contenter (pour rattraper) de faire
+  
+		try . .. with UserError _ -> ...
+
+  mais écrire à la place
+ 
+                try ... with e when Logic.catchable_exception e -> ...
+
+
 Changements dans les fonctions :
 --------------------------------
 
diff --git a/dev/db b/dev/db
index 2cb7bb5f3d..77a995aa3f 100644
--- a/dev/db
+++ b/dev/db
@@ -1,3 +1,4 @@
+load_printer "gramlib.cma"
 load_printer "top_printers.cmo"
 install_printer Top_printers.prid
 install_printer Top_printers.prsp