From b303a89d7ebcdbf865e5b260d8da6e3a4a26825d Mon Sep 17 00:00:00 2001
From: herbelin
Date: Fri, 21 Nov 2003 23:04:11 +0000
Subject: Suppression des niveaux vides

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@4968 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 parsing/g_constrnew.ml4 | 7 +------
 1 file changed, 1 insertion(+), 6 deletions(-)

diff --git a/parsing/g_constrnew.ml4 b/parsing/g_constrnew.ml4
index cf7dafb47b..f3883c7634 100644
--- a/parsing/g_constrnew.ml4
+++ b/parsing/g_constrnew.ml4
@@ -171,7 +171,7 @@ GEXTEND Gram
     | "90" RIGHTA
       [ c1 = operconstr; "->"; c2 = binder_constr -> CArrow(loc,c1,c2)
       | c1 = operconstr; "->"; c2 = SELF -> CArrow(loc,c1,c2)]
-    | "10"
+    | "10" LEFTA
       [ f=operconstr; args=LIST1 appl_arg -> CApp(loc,(None,f),args)
       | "@"; f=global; args=LIST0 NEXT -> CAppExpl(loc,(None,f),args) ]
     | "9" [ ]
@@ -282,9 +282,6 @@ GEXTEND Gram
   ;
   pattern:
     [ "250" LEFTA [ ]
-    | "200" RIGHTA [ ]
-    | "99" RIGHTA [ ]
-    | "90" RIGHTA [ ]
     | "10" LEFTA
       [ p = pattern ; lp = LIST1 (pattern LEVEL "0") ->
         (match p with
@@ -296,8 +293,6 @@ GEXTEND Gram
 	  CPatAlias (loc, p, id)
       | c = pattern; "%"; key=IDENT -> 
           CPatDelimiters (loc,key,c) ]
-    | "9" []
-    | "1" []
     | "0"
       [ r = Prim.reference -> CPatAtom (loc,Some r)
       | "_" -> CPatAtom (loc,None)
-- 
cgit v1.2.3