WIP

trealla-prolog · Sep 7, 2024 · 7a395de · 7a395de
1 parent fac6f6a
commit 7a395de
Showing 1 changed file with 8 additions and 0 deletions.
diff --git a/src/module.c b/src/module.c
@@ -1615,6 +1615,10 @@ static rule *assert_begin(module *m, unsigned nbr_vars, cell *p1, bool consultin
 			module *tmp_m = find_module(m->pl, name), *save_m = m;
 
 			if (!tmp_m) {
+				if (consulting)
+					fprintf(stdout, "Error: existence error module %s:(%s)/%u\n", name, C_STR(m, c), c->arity);
+
+				return NULL;
 				//m = module_create(m->pl, name);
 			} else
 				m = tmp_m;
@@ -1635,6 +1639,10 @@ static rule *assert_begin(module *m, unsigned nbr_vars, cell *p1, bool consultin
 			module *tmp_m = find_module(m->pl, name);
 
 			if (!tmp_m) {
+				if (consulting)
+					fprintf(stdout, "Error: extistence error module %s:(%s)/%u\n", name, C_STR(m, c), c->arity);
+
+				return NULL;
 				//m = module_create(m->pl, name);
 			} else
 				m = tmp_m;