From: Markus Triska <triska@metalevel.at>
Date: Fri, 30 Jun 2023 16:01:54 +0000 (+0200)
Subject: shorten needs_bracketing/2
X-Git-Tag: v0.9.2~101^2~2
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=bfe808a779252d98e23db1e5d4e0fa01a31ac625;p=scryer-prolog.git

shorten needs_bracketing/2
---

diff --git a/src/toplevel.pl b/src/toplevel.pl
index d61e324f..7d1e2569 100644
--- a/src/toplevel.pl
+++ b/src/toplevel.pl
@@ -211,16 +211,12 @@ needs_bracketing(Value, Op) :-
     current_op(FPrec, FSpec, F),
     current_op(EqPrec, EqSpec, Op),
     arity_specifier(Arity, FSpec),
-    (  Arity =:= 0 ->
-       true
-    ;  EqPrec < FPrec ->
-       true
-    ;  FPrec > 0, F == Value, graphic_token_char(F) ->
-       true
-    ;  F \== '.', '$quoted_token'(F) ->
-       true
-    ;  EqPrec == FPrec,
-       memberchk(EqSpec, [fx,xfx,yfx])
+    (  Arity =:= 0
+    ;  EqPrec < FPrec
+    ;  FPrec > 0, F == Value, graphic_token_char(F)
+    ;  F \== '.', '$quoted_token'(F)
+    ;  EqPrec =:= FPrec,
+       member(EqSpec, [fx,xfx,yfx])
     ).
 
 arity_specifier(0, _).