Error trying to export module qualified predicates, re issue #625

trealla-prolog · Nov 11, 2024 · 0404aef · 0404aef
1 parent da13e99
commit 0404aef
Showing 1 changed file with 6 additions and 0 deletions.
diff --git a/src/parser.c b/src/parser.c
@@ -956,6 +956,12 @@ static bool directives(parser *p, cell *d)
 					pr->is_public = true;
 				} else if (!strcmp(C_STR(p, head), "op") && (head->arity == 3)) {
 					do_op(p, head, true);
+				} else {
+					if (DUMP_ERRS || !p->do_read_term)
+						fprintf(stdout, "Error: predicate export failed, '%s' in %s:%d\n", C_STR(p, head), get_loaded(p->m, p->m->filename), p->line_nbr);
+
+					p->error = true;
+					return true;
 				}
 			}