From 7db38904537603dabe960f32fa505e27db89e27b Mon Sep 17 00:00:00 2001
From: Peter Mikkelsen <peter@pmikkelsen.com>
Date: Sat, 3 Jul 2021 18:58:07 +0000
Subject: Start adding support for read_term and write_term

---
 eval.c | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

(limited to 'eval.c')

diff --git a/eval.c b/eval.c
index 968d6c9..17ee5d1 100644
--- a/eval.c
+++ b/eval.c
@@ -1,5 +1,6 @@
 #include <u.h>
 #include <libc.h>
+#include <bio.h>
 
 #include "dat.h"
 #include "fns.h"
@@ -57,7 +58,7 @@ Retry:
 		}
 
 		if(debug)
-			print("Working goal: %S\n", prettyprint(goal));
+			print("Working goal: %S\n", prettyprint(goal, 0, 0, 0));
 
 		Binding *bindings = nil;
 		Term *clause = nil;
@@ -226,6 +227,7 @@ equalterms(Term *a, Term *b)
 
 	switch(a->tag){
 	case AtomTerm:
+		return runestrcmp(a->text, b->text) == 0;
 	case VariableTerm:
 		return (runestrcmp(a->text, b->text) == 0 && a->clausenr == b->clausenr);
 	case NumberTerm:
-- 
cgit v1.2.3