From f14c78df2be140c1c4c731d4d6010f114001b7cc Mon Sep 17 00:00:00 2001
From: herbelin
Date: Mon, 14 Oct 2002 08:47:23 +0000
Subject: Parenthèses forcées autour des arguments d'une application pour
 parser les expressions comme "(f (x+1))" (anticipation sur nouvelle syntaxe)

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3135 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 syntax/PPConstr.v | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'syntax')

diff --git a/syntax/PPConstr.v b/syntax/PPConstr.v
index 6e17c0d51c..4b91f8c7b7 100755
--- a/syntax/PPConstr.v
+++ b/syntax/PPConstr.v
@@ -174,7 +174,10 @@ Syntax constr
   | app_imp_last [ << (APPLISTIMPL (ACC ($LIST $A)) $T) >> ]
          -> [ (APPLIST ($LIST $A) $T):E ]
 *)
+  ;
 
+  (* To force parenthesis on arguments *)
+  level 0:
   | apptailcons [ << (APPTAIL $H ($LIST $T)) >> ]
 	 -> [ [1 1] $H:L  (APPTAIL ($LIST $T)):E ]
   | apptailnil [ << (APPTAIL) >> ] -> [ ]
-- 
cgit v1.2.3