Re: [gobo-eiffel-develop] Trouble with IO

[Eric B. <er...@go...>]

Uwe Sander wrote:
> 
> Damn, I have overseen the export clause.

I think that it is more a problem with Eiffel compilers not
reporting CAT-calls (or with the Eiffel language not providing
an explicit implementation inheritance technique) than a problem
with you as a programmer overseeing the export clause (which is
a trick anyway). With expanded inheritance as sketched out in
ETL3 draft, polymorphism with implementation inheritance would
be forbidden (and detected) by the compiler, and therefore we
would have a compilation error with that line:

  stream := file

This would make things much clearer that using the convention
whereby "export {NONE} all" means implementation inheritance.

-- 
Eric Bezault
mailto:er...@go...
http://www.gobosoft.com