Constructor's type not determined
Posted: 8 Aug 2014 15:21
Hi Thomas,
the compiler build 7500 throws error c520 : Impossible to determine the type of the term on this code. I suppose, it is not intended:
Regards,
Martin
the compiler build 7500 throws error c520 : Impossible to determine the type of the term on this code. I suppose, it is not intended:
Code: Select all
interface myObj{@Type}
domains
useTheParameter = @Type.
end interface myObj
class myObj{@Type} : myObj{@Type}
end class myObj
implement myObj{@Type}
end implement myObj
implement main
clauses
run() :-
_ = myObj{integer}::new.
end implement main
Martin