From bdcc02a5ea2d165c638d667978e8e2cf7462558a Mon Sep 17 00:00:00 2001
From: Peter Mikkelsen <peter@pmikkelsen.com>
Date: Mon, 5 Jul 2021 16:59:06 +0000
Subject: Turn integers and floats into seperate term types

---
 dat.h | 9 ++-------
 1 file changed, 2 insertions(+), 7 deletions(-)

(limited to 'dat.h')

diff --git a/dat.h b/dat.h
index 288932e..484387b 100644
--- a/dat.h
+++ b/dat.h
@@ -14,7 +14,6 @@ struct Term
 	int arity;
 	Term *next;
 	Term *children;
-	int numbertype;
 	vlong ival;
 	double dval;
 	uvlong clausenr;
@@ -64,16 +63,12 @@ struct Module
 /* Sorted so that a lower value means it comes earlier in the standard ordering */
 enum {
 	VariableTerm,
-	NumberTerm,
+	FloatTerm,
+	IntegerTerm,
 	AtomTerm,
 	CompoundTerm,
 };
 
-enum {
-	NumberFloat,
-	NumberInt,
-};
-
 int debug;
 
 /* Flags */
-- 
cgit v1.2.3