Re: Sugestion to Multiple Inheritance

[lutz@iks-jena.de (Lutz Donnerhacke)]

* Hyman Rosen wrote:
>Of course, in doing all this, you are doing pretty much
>what a compiler that implements MI would be doing for you.

Exactly. Matthew showed also the impact of multiple inheritance by
duplicating the multiple included structure A. I'm pretty sure to find a way
without MI. Simply by designing the whole type more carefully and use
derivated packages.

  package Sorts is
     type Collection is tagged null record;
     procedure Sort (col : in out Collection);
     
     generic
     package Stable_Sorts
       type Stable_Collection is new Collection with null record;
       procedure Stable_Sort (col : in out Stable_Collection);
     end Stable_Sorts;
  end Sorts;

Usage:
  generic
    with package S is new Sort;
    with package SS is new S.Stable_Sorts (<>);
  package Algorithm is
    procedure Do_That (col : in out Stable_Collection'Class);
  end Algorithm;

;-) Thanx.