please check this (in build 902) when building next VIP version:
Code: Select all
domains
rec = rec(integer Number, boolean Flag = false). %error c520 : Impossible to determine the type of the term
%rec = rec(integer Number, unsigned Flag = 0).
clauses
run() :-
Rec = rec(1),
stdIO::write(Rec).