]> Repositorios git - scryer-prolog.git/commitdiff
remove subsumed case: F == Value means Arity =:= 0, now considered above
authorMarkus Triska <[email protected]>
Fri, 30 Jun 2023 16:02:43 +0000 (18:02 +0200)
committerMarkus Triska <[email protected]>
Fri, 30 Jun 2023 16:02:43 +0000 (18:02 +0200)
src/toplevel.pl

index 7d1e256917b1d1c2655f99e567d6a44c21842e7a..8a0d44eaa49384ac9fedaa5816da998be1070262 100644 (file)
@@ -213,7 +213,6 @@ needs_bracketing(Value, Op) :-
     arity_specifier(Arity, FSpec),
     (  Arity =:= 0
     ;  EqPrec < FPrec
-    ;  FPrec > 0, F == Value, graphic_token_char(F)
     ;  F \== '.', '$quoted_token'(F)
     ;  EqPrec =:= FPrec,
        member(EqSpec, [fx,xfx,yfx])