From 13efe91101a11f41caf6321a8b2fbdd96ef9927a Mon Sep 17 00:00:00 2001 From: Peter Mikkelsen Date: Tue, 27 Jul 2021 16:41:12 +0000 Subject: remove clausenr from terms, and put it into goals instead. Next up is implementing the control constructs in C, since they misbehave right now due to the new changes --- error.c | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) (limited to 'error.c') diff --git a/error.c b/error.c index d5ff0bf..ba2877e 100644 --- a/error.c +++ b/error.c @@ -15,7 +15,7 @@ Term * typeerror(Rune *validtype, Term *culprit) { Term *valid = mkatom(validtype); - valid->next = copyterm(culprit, nil); + valid->next = copyterm(culprit); return mkcompound(L"type_error", 2, valid); } @@ -23,7 +23,7 @@ Term * domainerror(Rune *validdomain, Term *culprit) { Term *valid = mkatom(validdomain); - valid->next = copyterm(culprit, nil); + valid->next = copyterm(culprit); return mkcompound(L"domain_error", 2, valid); } @@ -31,7 +31,7 @@ Term * existenceerror(Rune *objecttype, Term *culprit) { Term *obj = mkatom(objecttype); - obj->next = copyterm(culprit, nil); + obj->next = copyterm(culprit); return mkcompound(L"existence_error", 2, obj); } @@ -40,7 +40,7 @@ permissionerror(Rune *operation, Rune *permissiontype, Term *culprit) { Term *op = mkatom(operation); op->next = mkatom(permissiontype); - op->next->next = copyterm(culprit, nil); + op->next->next = copyterm(culprit); return mkcompound(L"permission_error", 3, op); } -- cgit v1.2.3