From 7d94e54e8dfa1d3d72d6c31f01dff49b701bcf99 Mon Sep 17 00:00:00 2001
From: filliatr
Date: Mon, 6 Dec 1999 10:13:19 +0000
Subject: erreurs lexicales

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

(limited to 'toplevel/errors.ml')

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();
-- 
cgit v1.2.3