erreurs lexicales

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

1 files changed, 7 insertions, 0 deletions

diff --git a/toplevel/errors.ml b/toplevel/errors.ml
index 444d18b423..af8b7c5cbf 100644
--- a/toplevel/errors.ml
+++ b/toplevel/errors.ml
@@ -6,6 +6,7 @@ open Util
 open Ast
 open Inductive
 open Type_errors
+open Lexer
 
 let print_loc loc =
   if loc = dummy_loc then 
@@ -55,6 +56,12 @@ let rec explain_exn_default = function
       hOV 0 [< if loc = Ast.dummy_loc then [<>]
                else [< 'sTR"At location "; print_loc loc; 'sTR":"; 'fNL >];
                explain_exn_default exc >]
+
+  | Lexer.Error Illegal_character -> [< 'sTR "Illegal character." >]
+	
+  | Lexer.Error Unterminated_comment -> [< 'sTR "Unterminated comment." >]
+	
+  | Lexer.Error Unterminated_string -> [< 'sTR "Unterminated string." >]
 	
   | reraise ->
       flush_all();