From 38d1326feec6689f47cdff407097cdc36672abbd Mon Sep 17 00:00:00 2001 From: Eshel Yaron Date: Sat, 7 Oct 2023 14:24:30 +0200 Subject: [PATCH] ; Fix precedence calculation for unary operator arguments --- sweep.pl | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/sweep.pl b/sweep.pl index abe7cfe..c14f6bc 100644 --- a/sweep.pl +++ b/sweep.pl @@ -1315,8 +1315,8 @@ sweep_replace_term_r(term_position(From, To, _, _, ArgsPos), Term, FileName, Mod ( xref_op(FileName, op(Precedence0, Assoc, Functor)) ; current_op(Precedence0, Assoc, Functor) ), - memberchk(Assoc, [fx,fy]) - -> ( Assoc == fx + memberchk(Assoc, [xf,yf]) + -> ( Assoc == xf -> Precedence is Precedence0 - 1 ; Precedence = Precedence0 ) @@ -1324,8 +1324,8 @@ sweep_replace_term_r(term_position(From, To, _, _, ArgsPos), Term, FileName, Mod ( xref_op(FileName, op(Precedence0, Assoc, Functor)) ; current_op(Precedence0, Assoc, Functor) ), - memberchk(Assoc, [xf,yf]) - -> ( Assoc == xf + memberchk(Assoc, [fx,fy]) + -> ( Assoc == fx -> Precedence is Precedence0 - 1 ; Precedence = Precedence0 ) -- 2.39.2