diff options
| author | herbelin | 2003-11-21 23:04:11 +0000 |
|---|---|---|
| committer | herbelin | 2003-11-21 23:04:11 +0000 |
| commit | b303a89d7ebcdbf865e5b260d8da6e3a4a26825d (patch) | |
| tree | 3238b467606e50404038f3b26bf12c247a9d9352 | |
| parent | 25eb6e3c35d11083b9bffcad23798aef5e419e67 (diff) | |
Suppression des niveaux vides
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@4968 85f007b7-540e-0410-9357-904b9bb8a0f7
| -rw-r--r-- | parsing/g_constrnew.ml4 | 7 |
1 files changed, 1 insertions, 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) |