Path: utzoo!utgpu!jarvis.csri.toronto.edu!cs.utexas.edu!swrinde!zaphod.mps.ohio-state.edu!uakari.primate.wisc.edu!uflorida!haven!umbc3!menkar!bruce
From: bruce@menkar.gsfc.nasa.gov (Bruce Mount 572-8408)
Newsgroups: comp.lang.eiffel
Subject: JOOP letter on Eiffel type checking
Message-ID: <2829@umbc3.UMBC.EDU>
Date: 23 Feb 90 17:22:22 GMT
Sender: newspost@umbc3.UMBC.EDU
Reply-To: bruce@menkar.nas.nasa.gov (Bruce Mount 572-8408)
Distribution: comp.lang.eiffel
Organization: NASA Goddard Space Flight Center
Lines: 22


In the current JOOP (Jan/Feb 1990, page 10), Hans-Stephan Jansohn questions 
the type-checking ability of Eiffel in a detailed letter to the editor.

Briefly, he shows a code example that circumvents Eiffel's type-checking
by redefining a function in a descendant class and then accessing that
function via polymorphism.

I, to my extreme chagrin, do not have access to an Eiffel system.

     1.  Has anyone tried Jansohn's example?
     2.  If so, is his point valid?
     3.  If valid, are there workarounds?
     4.  Is this IS a problem, will it be addressed by 3.0 (hello ISE)?

Feel free to contact me for details, if needed.  I would be happy to summarize
responses to the net.

=================================================
| Bruce Mount                 "Brevity is best" |
| bruce@atria.gsfc.nasa.gov                     |
=================================================