Scope parameter in anonymous predicate
Posted: 16 Mar 2019 21:26
Hello once again Thomas,
this code, which uses a scope parameter in an anonymous predicate, is accepted in VIP 802 but rejected in 900. Is the change intended?
this code, which uses a scope parameter in an anonymous predicate, is accepted in VIP 802 but rejected in 900. Is the change intended?
Code: Select all
interface myObj{@Param}
predicates
p : (object SomeObject, @Param UseParam).
end interface myObj
class myObj{@Param} : myObj{@Param}
end class myObj
implement myObj{@Param}
clauses
p(SomeObject, _) :-
GetMyObj = { = convert(myObj{@Param}, SomeObject) },
%error c356 : Scope parameter '@Param' used in a class entity (maybe use a local parameter instead)
_MyObj = GetMyObj().
end implement myObj