[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [Liberty-eiffel] STRING not conforming to ANY

From: Phil Malin
Subject: Re: [Liberty-eiffel] STRING not conforming to ANY
Date: Tue, 11 Feb 2014 22:47:53 +1100
User-agent: Mozilla/5.0 (X11; Linux x86_64; rv:24.0) Gecko/20100101 Thunderbird/24.3.0

Thanks Cyril.

That's actually a good read - thanks.  I guess I was thinking of exportability being tied to type-inheritance rather than inheritance in general - type and non-conforming.


On 11/02/14 19:02, Cyril ADRIAN wrote:
Hi Phil,
2014-02-10 13:15 GMT+01:00 Phil Malin <address@hidden>:
Out of interest, how do you reconcile this with the export rule 'feature {ANY}' ?  Technically speaking, an object which inserts ANY instead of type-inheriting it shouldn't be able to view these features (perhaps the compiler doesn't let them - I haven't actually tried this).
I tried to find a better reference in the wiki but was not able to :-/

reply via email to

[Prev in Thread] Current Thread [Next in Thread]