WIP

trealla-prolog · Sep 29, 2024 · 02e4eaa · 02e4eaa
1 parent b9b8550
commit 02e4eaa
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 1 deletion.
diff --git a/samples/tco.pl b/samples/tco.pl
@@ -6,6 +6,8 @@
 test2(0) :- !, statistics, nl, fail.
 test2(N) :- f, N1 is N-1, test2(N1).
 
+% No local vars & no structures, yet not recovered...
+
 f(1).
 
 test3(0) :- !, statistics, nl, fail.

diff --git a/src/query.c b/src/query.c
@@ -709,7 +709,7 @@ static void commit_frame(query *q)
 	// Matching a fact (see disjunction in bif_control.c)...
 	// !q->has_vars ??? test for no vars left ?
 
-	if (q->pl->opt && !body && last_match && !q->has_vars && !cl->nbr_vars) {
+	if (q->pl->opt && !body && last_match && !q->has_indirects && !cl->nbr_vars) {
 		leave_predicate(q, q->st.pr);
 		drop_choice(q);
 		//cut(q); 				// ???