summaryrefslogtreecommitdiff
path: root/dat.h
diff options
context:
space:
mode:
authorPeter Mikkelsen <peter@pmikkelsen.com>2021-06-30 14:04:15 +0000
committerPeter Mikkelsen <peter@pmikkelsen.com>2021-06-30 14:04:15 +0000
commitee4298a2cfbbd9e015cfc775d9d714a9f5035846 (patch)
tree8d6f4b139abf1a645e9e4fe0fba811f64b03839f /dat.h
parent79d1fe1cf2eb6748e2c12ffe9c36a678655302b1 (diff)
Add a basic repl
Diffstat (limited to 'dat.h')
-rw-r--r--dat.h10
1 files changed, 10 insertions, 0 deletions
diff --git a/dat.h b/dat.h
index e4ddc74..d5dbfef 100644
--- a/dat.h
+++ b/dat.h
@@ -1,4 +1,6 @@
typedef struct Term Term;
+typedef struct Binding Binding;
+
struct Term
{
int tag;
@@ -13,6 +15,14 @@ struct Term
uvlong clausenr;
};
+struct Binding
+{
+ Rune *name;
+ uvlong nr; /* Unique number for each clause. Every time a clause is used, it gets a new number. */
+ Term *value;
+ Binding *next;
+};
+
enum {
CompoundTerm,
AtomTerm,