Page 1 of 1

Scope parameter in anonymous predicate

Posted: 16 Mar 2019 21:26
by Martin Meyer
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?

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

Re: Scope parameter in anonymous predicate

Posted: 16 Mar 2019 22:02
by Thomas Linder Puls
No, that doesn't seem intended. We will look at it.