[Martin Meyer]

Hello Thomas,

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).

With the outcommented version of the rec domain it works fine.

[Thomas Linder Puls]

Thank you. We have already solved this problem (internally).