Path: utzoo!utgpu!watserv1!watmath!att!dptg!ulysses!andante!mit-eddie!rutgers!usc!samsung!uunet!munnari.oz.au!metro!cluster!minnie!fred
From: fred@minnie.cs.su.OZ.AU (Fred Curtis)
Newsgroups: comp.lang.eiffel
Subject: Repeated inheritance question wanted
Message-ID: <1097@cluster.cs.su.oz>
Date: 16 Jul 90 13:32:33 GMT
Sender: news@cluster.cs.su.oz
Reply-To: fred@basser.cs.su.oz.au (Fred Curtis)
Organization: Basser Dept of Computer Science, University of Sydney, Australia
Lines: 17

WARNING!  This is repeated inheritance question from an OO neophyte!

Section 11.6 (pp 274-279) of Dr Meyer's OOSC (1988 Prentice-Hall) deals
with repeated inheritance;  the FRANCE_US_DRIVER example of (indirect)
repreated inheritance has appeared in recent discussions in this group.

According to the type compatibilty rule (11.3.1 pp 262), the following
asignment should be valid:

        driver_var := france_us_driver_expr

(Specifically by parts 2 and 5 of the definition of conformance)
One of the following is missing

    - a qualification of the type compatibility rule
    - an explanation of the choice mechanism used by the compiler in
      (for example) selecting attribute FRENCH_ADDRESS over US_ADDRESS