rishi/scryer-prolog
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

remove subsumed case: F == Value means Arity =:= 0, now considered above

Browse Source
This commit is contained in:
Markus Triska
2023-06-30 18:02:43 +02:00
parent bfe808a779
commit a3f8ddd24a
1 changed files with 0 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

1
src/toplevel.pl
View File

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