discuss.visual-prolog.com

Posted: **16 Feb 2015 10:20**

Hello Thomas,

please have a look at below construct. It does not compile (in build 7501).

Regards
Martin

interface obj1{@Type1}
    properties
        value : @Type1.
end interface obj1
 
%---
 
interface obj2{@Type2}
    properties from obj1{@Type2}
        value
end interface obj2
 
%---
 
interface obj3{@Type3}
    properties from obj2{@Type3}
        value
end interface obj3

Posted: **16 Feb 2015 11:33**

It is a bug, thank you for reporting it.

You can however without any loss take the property from obj1 instead.

Code: Select all

interface obj3{@Type3}
    properties from obj1{@Type3}
        value
end interface obj3

(It may also be clearer to readers of the code to have the "direct" property, instead of an indirect one).

discuss.visual-prolog.com

Free parameter error

Free parameter error