(core) do not expand modes in 'test' assertions

Src-commit: ccc18faf1ba3ff7ca1469beb4efd67be7844114d
ciao-lang · Jul 22, 2023 · c1c2174 · c1c2174
1 parent a01a419
commit c1c2174
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/core/lib/assertions/assrt_norm_common.pl b/core/lib/assertions/assrt_norm_common.pl
@@ -431,6 +431,10 @@
 get_arg_props(PDA,PDA,D-D,C-C,A-A,G-G,_NPD,_F,_A,_M,_Opts,_AType,_S,_LB,_LE) :-
     var(PDA),
     !.
+% TODO: ignore modes in test assertions (this is needed for p_unit handling of assertions; but the unittest lib does in a different way; merge!)
+get_arg_props(PDA,PDA,D-D,C-C,A-A,G-G,_NPD,_F,_A,_M,_Opts,AType,_S,_LB,_LE) :-
+    AType = test,
+    !.
 %% Argument is a defined (possibly parametric) mode, 
 get_arg_props(PDA,NPDA,NDP,NCP,NAP,NGP,NPD,_F,_A,M,Opts,AType,S,LB,LE) :-
     with_or_without_arg(PDA,NNPDA,Prop),