diff options
Diffstat (limited to 'syntax')
| -rwxr-xr-x | syntax/PPConstr.v | 3 |
1 files changed, 3 insertions, 0 deletions
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) >> ] -> [ ] |