From: Eshel Yaron Date: Sat, 23 Sep 2023 20:09:19 +0000 (+0200) Subject: ; (sweep_replace_update_state/7): Fix SSU guard classification X-Git-Tag: V9.1.16-sweep-0.25.3~15 X-Git-Url: http://git.eshelyaron.com/gitweb/?a=commitdiff_plain;h=c03ac63bdbbc6dbfdcb548eefb6c126b6dbd360c;p=sweep.git ; (sweep_replace_update_state/7): Fix SSU guard classification --- diff --git a/sweep.pl b/sweep.pl index c62aff6..b602c0b 100644 --- a/sweep.pl +++ b/sweep.pl @@ -1397,6 +1397,8 @@ sweep_replace_update_state(_FileName, _Module, '=>', 2, 2, clause, goal(0)) :- ! sweep_replace_update_state(_FileName, _Module, '-->', 2, 1, clause, head) :- !. sweep_replace_update_state(_FileName, _Module, '-->', 2, 2, clause, goal(2)) :- !. sweep_replace_update_state(_FileName, _Module, _Functor, _Arity, _I, clause, data) :- !. +sweep_replace_update_state(_FileName, _Module, ',', 2, 1, head, head) :- !. % SSU head +sweep_replace_update_state(_FileName, _Module, ',', 2, 2, head, goal(0)) :- !. % SSU guard sweep_replace_update_state(_FileName, _Module, _Functor, _Arity, _I, head, data) :- !. sweep_replace_update_state(_FileName, Module, Functor, Arity, I, goal(N0), State) :- pi_head(Functor/Arity,Head),