please check this construction. It throws error c660 : Failure possibility during object initialization (in VIP 7502):
Code: Select all
interface myObj
end interface myObj
%---
class myObj : myObj
constructors
new1 : (object Obj).
new2 : ().
end class myObj
%---
implement myObj
clauses
new1(Obj) :-
_MyObj = tryConvert(myObj, Obj),
!.
new1(_Obj) :-
new2().
clauses
new2().
end implement myObj