From 347e5bc533070a5e988d82e7588a4e905c7096f3 Mon Sep 17 00:00:00 2001
From: Peter Mikkelsen <peter@pmikkelsen.com>
Date: Wed, 30 Jun 2021 14:15:49 +0000
Subject: Give queries another id than clauses, so variable names doesn't clash

---
 TODO | 1 +
 1 file changed, 1 insertion(+)

(limited to 'TODO')

diff --git a/TODO b/TODO
index 4e42205..a9b0bd8 100644
--- a/TODO
+++ b/TODO
@@ -4,3 +4,4 @@
 4) Stop copying the entire goal stack into every choicepoint
 5) Stop creating choicepoints when it is not needed
 6) How to implement builtins nicely?
+7) Right now we copy and allocate a lot, but almost never free stuff.
\ No newline at end of file
-- 
cgit v1.2.3