Store the calling module in each goal, and fix a bug where unification could leave behind some bindings even though the unification failed.

1 files changed, 2 insertions, 1 deletions

diff --git a/dat.h b/dat.h
index 783a785..1bde347 100644
--- a/dat.h
+++ b/dat.h
@@ -5,7 +5,7 @@ typedef struct Choicepoint Choicepoint;
 typedef struct Clause Clause;
 typedef struct Predicate Predicate;
 typedef struct Module Module;
-typedef int (*Builtin)(Term *, Binding **);
+typedef int (*Builtin)(Term *, Binding **, Module *);
 
 struct Term
 {
@@ -31,6 +31,7 @@ struct Binding
 struct Goal
 {
 	Term *goal;
+	Module *module; /* What module is this goal to be evaluated in? */
 	Term *catcher; /* When this is non-nil, the goal is a catch frame, goal is the recovery. */
 	Goal *next;
 };