Error e353 "Free parameter is used in type expression"
Posted: 30 Mar 2013 14:24
Hi Thomas (Linder Puls), hi all,
please take a look at the four in certain manner nested object types below. On compilation (in VIP 7.4 build 7401) the code throws error e353 "Free parameter '@Type' is used in type expression". Is it a bug? If not, please explain why the error is correct.
Regards + Happy Easter!
Martin
please take a look at the four in certain manner nested object types below. On compilation (in VIP 7.4 build 7401) the code throws error e353 "Free parameter '@Type' is used in type expression". Is it a bug? If not, please explain why the error is correct.
Regards + Happy Easter!
Martin
Code: Select all
interface typeA{@Type}
domains
someType = @Type.
end interface typeA
class typeA{@Type} : typeA{@Type}
end class typeA
implement typeA{@Type}
end implement typeA
%------------------------------------
interface typeB{@Type}
properties
myProperty : typeA{@Type} (o).
end interface typeB
class typeB{@Type} : typeB{@Type}
end class typeB
implement typeB{@Type}
facts
myProperty : typeA{@Type} := typeA::new().
end implement typeB
%------------------------------------
interface typeC
supports typeB{typeC}
end interface typeC
class typeC : typeC
end class typeC
implement typeC
inherits typeB{typeC}
end implement typeC
%------------------------------------
interface typeD
properties from typeC
myProperty
end interface typeD
class typeD : typeD
end class typeD
implement typeD
inherits typeC
end implement typeD