From 710e73688df210863459fbe5a66806685e2e620c Mon Sep 17 00:00:00 2001
From: Aarne Ranta <aarne@chalmers.se>
Date: Mon, 29 Jul 2024 17:44:05 +0200
Subject: [PATCH] in Formal.usePrec, removed variant parenthOpt for a better
 control of parentheses ; use Formal.parenth explicitly if you want to parse
 superfluous parentheses

---
 src/prelude/Formal.gf | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/prelude/Formal.gf b/src/prelude/Formal.gf
index 9902712a4..2833c9559 100644
--- a/src/prelude/Formal.gf
+++ b/src/prelude/Formal.gf
@@ -29,7 +29,7 @@ resource Formal = open Prelude in {
     usePrec : Prec -> TermPrec -> Str = \p,x ->
       case lessPrec x.p p of {
         True => parenth x.s ;
-        False => parenthOpt x.s
+        False => x.s --- parenthOpt x.s
       } ;
 
     parenth : Str -> Str = \s -> "(" ++ s ++ ")" ;