Scope parameter in anonymous predicate

Discussions related to Visual Prolog
Martin Meyer
VIP Member
Posts: 264
Joined: 14 Nov 2002 0:01

Scope parameter in anonymous predicate

Unread post by Martin Meyer » 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?

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
Regards Martin

User avatar
Thomas Linder Puls
VIP Member
Posts: 2407
Joined: 28 Feb 2000 0:01

Re: Scope parameter in anonymous predicate

Unread post by Thomas Linder Puls » 16 Mar 2019 22:02

No, that doesn't seem intended. We will look at it.
Regards Thomas Linder Puls

Post Reply