From 9cc17961834515fd9e09683738a0137964076dd7 Mon Sep 17 00:00:00 2001 From: Peter Mikkelsen Date: Thu, 22 Jul 2021 22:24:18 +0000 Subject: Fix ; again haha, I can't just wrap variable goals in call/1 due to cuts being local in a call --- builtins.c | 5 +---- 1 file changed, 1 insertion(+), 4 deletions(-) (limited to 'builtins.c') diff --git a/builtins.c b/builtins.c index 6dda64f..cdea48a 100644 --- a/builtins.c +++ b/builtins.c @@ -1120,14 +1120,11 @@ assertclause(Term *clause, Module *module, int after, int dynamic) body = mkatom(L"true"); } - if(body->tag == VariableTerm) - body = mkcompound(L"call", 1, body); - if(head->tag == VariableTerm) Throw(instantiationerror()); if(head->tag != AtomTerm && head->tag != CompoundTerm) Throw(typeerror(L"callable", head)); - if(body->tag != AtomTerm && body->tag != CompoundTerm) + if(body->tag != AtomTerm && body->tag != CompoundTerm && body->tag != VariableTerm) Throw(typeerror(L"callable", body)); Rune *name = head->text; -- cgit v1.2.3