WIP

infradig · infradig · commit 5da92bdd2f11 · 2025-09-19T09:32:16.000+10:00
diff --git a/src/heap.c b/src/heap.c
@@ -266,8 +266,10 @@ static bool copy_vars(query *q, cell *c, bool copy_attrs, const cell *from, pl_c
 		}
 	}
 
-	if (cnt)
-		create_vars(q, cnt);
+	if (cnt) {
+		if (create_vars(q, cnt) < 0)
+			return false;
+	}
 
 	return true;
 }
@@ -305,7 +307,6 @@ static cell *copy_term_to_tmp_with_replacement(query *q, cell *p1, pl_ctx p1_ctx
 {
 	cell *c = deref(q, p1, p1_ctx);
 	pl_ctx c_ctx = q->latest_ctx;
-
 	cell *tmp = clone_term_to_tmp(q, c, c_ctx);
 
 	if (!tmp)

Original file line number	Diff line number	Diff line change
`@@ -266,8 +266,10 @@ static bool copy_vars(query q, cell c, bool copy_attrs, const cell *from, pl_c`
`266`	`266`	`}`
`267`	`267`	`}`
`268`	`268`
`269`		`- if (cnt)`
`270`		`- create_vars(q, cnt);`
	`269`	`+ if (cnt) {`
	`270`	`+ if (create_vars(q, cnt) < 0)`
	`271`	`+ return false;`
	`272`	`+ }`
`271`	`273`
`272`	`274`	`return true;`
`273`	`275`	`}`
`@@ -305,7 +307,6 @@ static cell copy_term_to_tmp_with_replacement(query q, cell *p1, pl_ctx p1_ctx`
`305`	`307`	`{`
`306`	`308`	`cell *c = deref(q, p1, p1_ctx);`
`307`	`309`	`pl_ctx c_ctx = q->latest_ctx;`
`308`		`-`
`309`	`310`	`cell *tmp = clone_term_to_tmp(q, c, c_ctx);`
`310`	`311`
`311`	`312`	`if (!tmp)`