fred@minnie.cs.su.OZ.AU (Fred Curtis) (07/16/90)
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