Free parameter error

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

Free parameter error

Unread post by Martin Meyer » 22 Dec 2016 15:29

Hello Thomas,

using the workaround you have given in Problem with Comparing Trees I have come upon another problem. The below code demonstrates it (in VIP 7502). It throws error c353 : Free parameter '@Type' is used in type expression.

Merry Xmas to you and all
Martin

Code: Select all

interface myDomains{@Type}     domains         domain = workaroundDomain{@Type}.         workaroundDomain{T} = dom(T Value). end interface myDomains   %======   interface obj{@Dom}     domains         useDom = @Dom. end interface obj   %---   class obj{@Dom} : obj{@Dom} end class obj   %---   implement obj{@Dom} end implement obj   %======   interface myObj     supports obj{myDomains{symbol}::domain} end interface myObj   %---   class myObj : myObj end class myObj   %---   implement myObj     inherits obj{myDomains{symbol}::domain} end implement myObj

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

Unread post by Thomas Linder Puls » 23 Dec 2016 15:55

An "extension" of the previous bug you reported.. They are both solved in our internal "current" version, but hat does of course not help you.

Again, the best I can offer is a workaround:
Merry Christmas to you too.
Regards Thomas Linder Puls
PDC

Martin Meyer
VIP Member
Posts: 289
Joined: 14 Nov 2002 0:01

Unread post by Martin Meyer » 23 Dec 2016 21:43

Thanx Thomas for the info!

I wish I had your internal current version. Would you let me buy it as a preview at the same (upgrade-) price as the upcoming release with the option to download the upcoming release for free when it's ready? It would make sense if the preview version is working as long as I don't use new features. (To be clear: In the unlikely case that you never release a next version I don't want money back.)
_________________
Martin

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

Unread post by Thomas Linder Puls » 27 Dec 2016 17:06

I am afraid that that is rather difficult to handle so I will have to say no.
Regards Thomas Linder Puls
PDC

Post Reply