[Martin Meyer]

Hi Thomas,

please have a look at below code. The compiler (build 7500) throws error c504 : The expression has type '::string', which is incompatible with the type '@Type' on it.

Regards
Martin

Code: Select all

interface objA{@Type}
    properties
        prop : @Type (o).
end interface objA
 
%---
 
interface objB
    properties from objA{string}
        prop
end interface objB
 
class objB : objB
end class objB
 
implement objB
    clauses
        prop() = "".
end implement objB

[Thomas Linder Puls]

Thank you. We will look at it.

[Thomas Linder Puls]

This is fixed in Visual Prolog 7.5 Build 7501.

Select Web -> Check for Updates in the IDE to updated to the latest version.