From c03ac63bdbbc6dbfdcb548eefb6c126b6dbd360c Mon Sep 17 00:00:00 2001 From: Eshel Yaron Date: Sat, 23 Sep 2023 22:09:19 +0200 Subject: [PATCH] ; (sweep_replace_update_state/7): Fix SSU guard classification --- sweep.pl | 2 ++ 1 file changed, 2 insertions(+) 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), -- 2.39.5