WIP

infradig · infradig · commit 2f9b1625c753 · 2023-11-23T16:37:46.000+10:00
diff --git a/src/unify.c b/src/unify.c
@@ -1118,7 +1118,7 @@ static bool unify_lists(query *q, cell *p1, pl_idx p1_ctx, cell *p2, pl_idx p2_c
 		DEREF_CHECKED(any2, both, e1->save_vgen1, e1, e1->vgen1, p1, p1_ctx, q->vgen);
 		DEREF_CHECKED(any2, both, e2->save_vgen2, e2, e2->vgen2, p2, p2_ctx, q->vgen);
 
-		if (q->cycle_error) {
+		if (both && q->cycle_error) {
 			skip = true;
 			break;
 		}

Original file line number	Diff line number	Diff line change
`@@ -1118,7 +1118,7 @@ static bool unify_lists(query q, cell p1, pl_idx p1_ctx, cell *p2, pl_idx p2_c`
`1118`	`1118`	`DEREF_CHECKED(any2, both, e1->save_vgen1, e1, e1->vgen1, p1, p1_ctx, q->vgen);`
`1119`	`1119`	`DEREF_CHECKED(any2, both, e2->save_vgen2, e2, e2->vgen2, p2, p2_ctx, q->vgen);`
`1120`	`1120`
`1121`		`- if (q->cycle_error) {`
	`1121`	`+ if (both && q->cycle_error) {`
`1122`	`1122`	`skip = true;`
`1123`	`1123`	`break;`
`1124`	`1124`	`}`