From 543bcae2ad5ef057c0c862dcac478c969864d112 Mon Sep 17 00:00:00 2001
From: herbelin
Date: Wed, 26 Jul 2000 16:27:32 +0000
Subject: bug token "<:" et ":<"

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

diff --git a/parsing/pcoq.ml4 b/parsing/pcoq.ml4
index f9cd0839fe..951a576c8f 100644
--- a/parsing/pcoq.ml4
+++ b/parsing/pcoq.ml4
@@ -397,6 +397,13 @@ let define_quotation default s e =
       ast: [ [ "<<"; c = e; ">>" -> c ] ];
    END);
   (GEXTEND Gram
+     GLOBAL: ast;
      ast:
-       [ [ "<"; ":"; IDENT $s$; ":"; "<"; c = e; ">>" -> c ] ];
+       [ [ _ = langle_colon; IDENT $s$; _ = colon_langle; c = e; ">>" -> c ] ];
+     langle_colon:
+       [ [ "<"; ":" -> ()
+	 | "<:" -> () ] ];  (* Maximal token rule *)
+     colon_langle:
+       [ [ ":"; "<" -> ()
+	 | ":<" -> () ] ]; (* Maximal token rule *)
    END)
-- 
cgit v1.2.3