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

correct is_cyclic again for non-variable ref cells (#2116)

Browse Source
This commit is contained in:
Mark
2023-10-15 01:28:42 -06:00
parent 3fb2e451a2
commit 3a6aee72a3
2 changed files with 7 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
src/machine/gc.rs
View File

@@ -273,8 +273,10 @@ impl<'a, UMP: UnmarkPolicy> StacklessPreOrderHeapIter<'a, UMP> {
fn is_cyclic(&self, var_current: usize, var_next: usize) -> bool { fn is_cyclic(&self, var_current: usize, var_next: usize) -> bool {
if self.heap[var_next].is_var() { if self.heap[var_next].is_var() {
!self.heap[var_next].get_forwarding_bit() && var_current != var_next !self.heap[var_next].get_forwarding_bit() && var_current != var_next
} else if self.heap[var_next].is_ref() {
self.heap[var_next].get_mark_bit()
} else { } else {
self.heap[var_next].is_ref() false
} }
} }

4
src/tests/acyclic_term.pl
View File

@@ -173,6 +173,10 @@ test("acyclic_term#2114", (
A=B*B, acyclic_term(A) A=B*B, acyclic_term(A)
)). )).
test("acyclic_term#2116", (
A=B*B,B=[]*[], acyclic_term(A)
)).
main :- main :-
findall(test(Name, Goal), test(Name, Goal), Tests), findall(test(Name, Goal), test(Name, Goal), Tests),
run_tests(Tests, Failed), run_tests(Tests, Failed),