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,LOTS_OF_MONEY
	autolearn=ham autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,1592759aa83d0d45
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 2003-05-30 16:01:35 PST
Path: 
 archiver1.google.com!news1.google.com!newsfeed.stanford.edu!news-spur1.maxwell.syr.edu!news.maxwell.syr.edu!newsfeed.icl.net!newsfeed.fjserv.net!diablo.theplanet.net!news.theplanet.net!not-for-mail
From: "John Griffiths" <reply@to.group.only.com>
Newsgroups: comp.lang.ada
Subject: Re: MI in Ada 200X
Date: Fri, 30 May 2003 23:38:00 +0100
Message-ID: <bb8nse$7ki$1@newsg4.svr.pol.co.uk>
References: <0Pxza.699607$OV.652508@rwcrnsc54>
 <4a4de33a.0305280557.5d5aba37@posting.google.com>
 <slrnbd9k0c.a0q.randhol+abuse@kiuk0152.chembio.ntnu.no>
 <bb4j31$5juvr$6@ID-77047.news.dfncis.de>
 <BewBa.288$b8.126@nwrdny03.gnilink.net> <9wKBa.1046187$F1.124536@sccrnsc04>
NNTP-Posting-Host: 81.78.3.67
X-Trace: newsg4.svr.pol.co.uk 1054335694 7826 81.78.3.67 (30 May 2003 23:01:34
 GMT)
NNTP-Posting-Date: 30 May 2003 23:01:34 GMT
X-Complaints-To: abuse@theplanet.net
X-Priority: 3
X-MSMail-Priority: Normal
X-Newsreader: Microsoft Outlook Express 6.00.2600.0000
X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2600.0000
Xref: archiver1.google.com comp.lang.ada:38165
Date: 2003-05-30T23:01:34+00:00
List-Id: <comp.lang.ada>

<snip>
"Mark A. Biggar" <mark@biggar.org> wrote in message
news:9wKBa.1046187$F1.124536@sccrnsc04...
</snip>

<snip>
MI also has the ambiguities with the diamond inheritance problem,
which I have never seen a language solve in a non-clumsy way.
</snip>


Has any language allowed MI but forbidden mutual inheritance (the existence
of a common inheritor between two classes - excluding a universal base class
if language is strictly OOP)?

What's the way Eiffel does it? ISTR it didn't care one way or another about
common ancestry.

Regards John