From 72f121c514c0dc2f8942a1e4395ec5843d5e901c Mon Sep 17 00:00:00 2001
From: herbelin
Date: Tue, 3 Dec 2002 08:31:37 +0000
Subject: Le '.' peut faire partie d'un token

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3359 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 parsing/lexer.ml4 | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/parsing/lexer.ml4 b/parsing/lexer.ml4
index d2a46fcf48..cb0f071111 100644
--- a/parsing/lexer.ml4
+++ b/parsing/lexer.ml4
@@ -238,11 +238,14 @@ let rec next_token = parser bp
   | [< '' ' | '\n' | '\r'| '\t'; s >] -> next_token s
   | [< ''$'; len = ident (store 0 '$') >] ep -> 
       (("METAIDENT", get_buff len), (bp,ep))
-  | [< ''.'; t = parser
+  | [< ''.' as c; t = parser
 	 | [< ' ('_' | 'a'..'z' | 'A'..'Z' | '\192'..'\214' 
 		| '\216'..'\246' | '\248'..'\255' as c);
 	      len = ident (store 0 c) >] -> ("FIELD", get_buff len)
+(*
 	 | [< >] -> ("", ".") >] ep -> (t, (bp,ep))
+*)
+	 | [< (t,_) = process_chars bp c >] -> t >] ep -> (t, (bp,ep))
   | [< ' ('_' | 'a'..'z' | 'A'..'Z' | '\192'..'\214' 
          | '\216'..'\246' | '\248'..'\255' as c);
        len = ident (store 0 c) >] ep ->
-- 
cgit v1.2.3