From 98b16fa6af9fd6c37120b29d96ea0785a8598335 Mon Sep 17 00:00:00 2001
From: herbelin
Date: Tue, 3 Dec 2002 08:33:12 +0000
Subject: Calcul de l'associativité même pour les Grammar avec plusieurs
 clauses

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3360 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 parsing/extend.ml | 18 +++++++++---------
 1 file changed, 9 insertions(+), 9 deletions(-)

diff --git a/parsing/extend.ml b/parsing/extend.ml
index 64d8cc7cdc..a49ec01b0f 100644
--- a/parsing/extend.ml
+++ b/parsing/extend.ml
@@ -245,18 +245,18 @@ let border = function
   | NonTerm (ProdPrimitive (ETConstr(_,BorderProd (_,a))),_) :: _ -> a
   | _ -> None
 
-let clever_assoc ass = function
-  | [g] when g.gr_production <> [] ->
-      (match border g.gr_production, border (List.rev g.gr_production) with
-	| Some LeftA, Some RightA -> ass (* Untractable; we cheat *)
-	| Some LeftA, _ -> Some LeftA
-	| _, Some RightA -> Some RightA
-	| _ -> Some NonA)
-  | _ -> ass
+let clever_assoc ass g =
+  if g.gr_production <> [] then
+    (match border g.gr_production, border (List.rev g.gr_production) with
+      | Some LeftA, Some RightA -> ass (* Untractable; we cheat *)
+      | Some LeftA, _ -> Some LeftA
+      | _, Some RightA -> Some RightA
+      | _ -> Some NonA)
+  else ass
 
 let gram_entry univ (nt, ass, rl) =
   let l = List.map (gram_rule (univ,nt)) rl in
-  let ass = clever_assoc ass l in
+  let ass = List.fold_left clever_assoc ass l in
   { ge_name = nt;
     gl_assoc = ass;
     gl_rules = l }
-- 
cgit v1.2.3