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

improve cycle detection in detect_list_cycles (#2111)

Browse Source
This commit is contained in:
Mark
2023-10-15 00:58:15 -06:00
parent 7875b96956
commit 3fb2e451a2
2 changed files with 11 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
src/machine/gc.rs
View File

@@ -213,7 +213,7 @@ impl<'a> StacklessPreOrderHeapIter<'a, CycleDetectorUMP> {
} }
if temp == self.start { if temp == self.start {
break; return self.heap[temp].get_value() == self.current as u64;
} }
} }

11
src/tests/acyclic_term.pl
View File

@@ -19,6 +19,11 @@ term4(A) :-
A=[B|C], A=[B|C],
C=[C|B]. C=[C|B].
term5(A) :-
A=[_B|C],
D=[_E|C],
A=[C|D].
test("acyclic_term_1", ( test("acyclic_term_1", (
L = [_Y,[M,B],B|M], acyclic_term(L) L = [_Y,[M,B],B|M], acyclic_term(L)
)). )).
@@ -156,6 +161,10 @@ test("acyclic_term#2111_4", (
term4(A), \+ acyclic_term(A) term4(A), \+ acyclic_term(A)
)). )).
test("acyclic_term#2111_5", (
term5(A), \+ acyclic_term(A)
)).
test("acyclic_term#2113", ( test("acyclic_term#2113", (
A=[]*B,B=[]*B, \+ acyclic_term(A) A=[]*B,B=[]*B, \+ acyclic_term(A)
)). )).
@@ -175,7 +184,7 @@ main_quiet :-
run_tests_quiet(Tests, Failed), run_tests_quiet(Tests, Failed),
( Failed = [] -> ( Failed = [] ->
format("All tests passed", []) format("All tests passed", [])
; format("Some tests failed: ~w~n", [Failed]) ; format("Some tests failed", [])
), ),
halt. halt.