FAQFAQ   SearchSearch   MemberlistMemberlist   RegisterRegister   ProfileProfile   Log inLog in 


Free parameter error

Post new topic   Reply to topic    discuss.visual-prolog.com Forum Index -> Visual Prolog
View previous topic :: View next topic  
Author Message
Martin Meyer



Frankfurt a.M., Germany
Joined: 14 Nov 2002
Posts: 223

PostPosted: 22 Dec 2016 15:29    Post subject: Free parameter error Reply with quote

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

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

Back to top
View user's profile Send private message
Thomas Linder Puls



Copenhagen, Denmark
Joined: 28 Feb 2000
Posts: 3124

PostPosted: 23 Dec 2016 15:55    Post subject: Reply with quote

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:

interface myObj
    supports obj{myDomains{_}::workaroundDomain{symbol}}
end interface myObj

%---

class myObj : myObj
end class myObj

%---

implement myObj
    inherits obj{myDomains{_}::workaroundDomain{symbol}}
end implement myObj

Merry Christmas to you too.

_________________
Regards Thomas Linder Puls
Prolog Development Center
Back to top
View user's profile Send private message
Martin Meyer



Frankfurt a.M., Germany
Joined: 14 Nov 2002
Posts: 223

PostPosted: 23 Dec 2016 21:43    Post subject: Reply with quote

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
Back to top
View user's profile Send private message
Thomas Linder Puls



Copenhagen, Denmark
Joined: 28 Feb 2000
Posts: 3124

PostPosted: 27 Dec 2016 17:06    Post subject: Reply with quote

I am afraid that that is rather difficult to handle so I will have to say no.
_________________
Regards Thomas Linder Puls
Prolog Development Center
Back to top
View user's profile Send private message
Display posts from previous:   
Post new topic   Reply to topic    discuss.visual-prolog.com Forum Index -> Visual Prolog All times are GMT
Page 1 of 1

 
Jump to:  
You cannot post new topics in this forum
You cannot reply to topics in this forum
You cannot edit your posts in this forum
You cannot delete your posts in this forum
You cannot vote in polls in this forum
You cannot attach files in this forum
You can download files in this forum