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

Free parameter error

Unread post by Martin Meyer »

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: 1398
Joined: 28 Feb 2000 0:01

Unread post by Thomas Linder Puls »

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: 328
Joined: 14 Nov 2002 0:01

Unread post by Martin Meyer »

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: 1398
Joined: 28 Feb 2000 0:01

Unread post by Thomas Linder Puls »

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