Free parameter error
Posted: 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
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