From 257e14b19e9026a4f3cdfa991e27293faf110324 Mon Sep 17 00:00:00 2001
From: Hugo Herbelin
Date: Sun, 26 Nov 2017 19:33:00 +0100
Subject: Releasing level "11" of "pattern".

Was introduced in 0917ce7c to fix #4272, but it seems that we can fix
it by just merging levels 10 and 11. This prevents the worry of fixing
the associativity of level 11 to left in 0917ce7c.
---
 parsing/egramcoq.ml  | 1 -
 parsing/g_constr.ml4 | 7 +++----
 2 files changed, 3 insertions(+), 5 deletions(-)

diff --git a/parsing/egramcoq.ml b/parsing/egramcoq.ml
index acbe2d982d..9c2766187e 100644
--- a/parsing/egramcoq.ml
+++ b/parsing/egramcoq.ml
@@ -46,7 +46,6 @@ let default_pattern_levels =
    100,Extend.RightA,false;
    99,Extend.RightA,true;
    90,Extend.RightA,true;
-   11,Extend.LeftA,false;
    10,Extend.LeftA,false;
    1,Extend.LeftA,false;
    0,Extend.RightA,false]
diff --git a/parsing/g_constr.ml4 b/parsing/g_constr.ml4
index bfebca2a5c..6af8f0b9e1 100644
--- a/parsing/g_constr.ml4
+++ b/parsing/g_constr.ml4
@@ -377,11 +377,10 @@ GEXTEND Gram
       [ p = pattern; "|"; pl = LIST1 pattern SEP "|" -> CAst.make ~loc:!@loc @@ CPatOr (p::pl) ]
     | "99" RIGHTA [ ]
     | "90" RIGHTA [ ]
-    | "11" LEFTA
-      [ p = pattern; "as"; id = ident ->
-        CAst.make ~loc:!@loc @@ CPatAlias (p, id) ]
     | "10" LEFTA
-      [ p = pattern; lp = LIST1 NEXT ->
+      [ p = pattern; "as"; id = ident ->
+        CAst.make ~loc:!@loc @@ CPatAlias (p, id)
+      | p = pattern; lp = LIST1 NEXT ->
         (let open CAst in match p with
 	  | { v = CPatAtom (Some r) } -> CAst.make ~loc:!@loc @@ CPatCstr (r, None, lp)
 	  | { v = CPatCstr (r, None, l2); loc } ->
-- 
cgit v1.2.3