From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00,FREEMAIL_FROM
	autolearn=ham autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 109fba,e0a59694a441eb7b
X-Google-Thread: 103376,e0a59694a441eb7b
X-Google-Thread: fac41,e0a59694a441eb7b
X-Google-Thread: 1108a1,e0a59694a441eb7b
X-Google-Attributes: gid109fba,gid103376,gidfac41,gid1108a1,public
X-Google-ArrivalTime: 2004-04-23 17:01:39 PST
Path: archiver1.google.com!postnews1.google.com!not-for-mail
From: stevenwurster@lycos.com (Steven Wurster)
Newsgroups: comp.lang.c++,comp.lang.ada,comp.lang.eiffel,comp.object
Subject: Re: OOP Language for OS Development
Date: 23 Apr 2004 17:01:38 -0700
Organization: http://groups.google.com
Message-ID: <d853834.0404231601.365360ca@posting.google.com>
References: <95db0572.0404142153.431fd058@posting.google.com>
 <566e2bfb.0404181753.2844342f@posting.google.com>
 <ytOgc.39006$zm5.17464@nntpserver.swip.net>
 <c67sgr$2e0$1@news5.svr.pol.co.uk> <4088D574.2020503@tele2.fr>
 <c6ap5j$1nh$1@newsg1.svr.pol.co.uk>
 <d853834.0404230630.4c782a58@posting.google.com>
 <1082732696.152155@master.nyc.kbcfp.com>
NNTP-Posting-Host: 69.137.136.237
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: 8bit
X-Trace: posting.google.com 1082764899 13297 127.0.0.1 (24 Apr 2004 00:01:39
 GMT)
X-Complaints-To: groups-abuse@google.com
NNTP-Posting-Date: Sat, 24 Apr 2004 00:01:39 +0000 (UTC)
Xref: archiver1.google.com comp.lang.c++:31355 comp.lang.ada:7440
 comp.lang.eiffel:733 comp.object:11067
Date: 2004-04-23T17:01:38-07:00
List-Id: <comp.lang.ada>

Hyman Rosen <hyrosen@mail.com> wrote in message news:<1082732696.152155@master.nyc.kbcfp.com>...
> Steven Wurster wrote:
> > Eiffel supports covariant argument redefinition
> 
> Which is a huge mistake, since it menas that one can
> no longer supply a derived class to something which
> expects a base class.

That's not true.  I've done it plenty of times in Eiffel, even with
covariant redefinition.  Redefinition isn't necessary, but is
supported.  In fact, in many cases, it's the best solution.

Let's get off this language holy war argument.