(core) p_unit: avoid modedef expansions in test assertions

Src-commit: 0364200941549fb8f9447a8e205fdf4fe4ef30c1
ciao-lang · Jul 22, 2023 · 8e17445 · 8e17445
1 parent c1c2174
commit 8e17445
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/core/lib/compiler/p_unit/p_unit_db.pl b/core/lib/compiler/p_unit/p_unit_db.pl
@@ -432,6 +432,7 @@
                       "Assertion head syntax ~q, assertion ignored (try loading the 'modes' package)", [Goal])
     ).
 
+allowed_head(Type,_) :- Type = test, !. % TODO: allow arbitrary args in test assertions (normalize instead?)
 allowed_head(Type,Goal) :-
     Type \= entry, !,
     functor(Goal,F,A),