From bdcc02a5ea2d165c638d667978e8e2cf7462558a Mon Sep 17 00:00:00 2001 From: Peter Mikkelsen Date: Mon, 5 Jul 2021 16:59:06 +0000 Subject: Turn integers and floats into seperate term types --- eval.c | 12 ++++-------- 1 file changed, 4 insertions(+), 8 deletions(-) (limited to 'eval.c') diff --git a/eval.c b/eval.c index a7f2c43..e0d7286 100644 --- a/eval.c +++ b/eval.c @@ -246,14 +246,10 @@ equalterms(Term *a, Term *b) return runestrcmp(a->text, b->text) == 0; case VariableTerm: return (runestrcmp(a->text, b->text) == 0 && a->clausenr == b->clausenr); - case NumberTerm: - if(a->numbertype != b->numbertype) - return 0; - if(a->numbertype == NumberInt && a->ival == b->ival) - return 1; - if(a->numbertype == NumberFloat && a->dval == b->dval) - return 1; - return 0; + case FloatTerm: + return a->dval == b->dval; + case IntegerTerm: + return a->ival == b->ival; default: return 0; } -- cgit v1.2.3