Re: Invoking abstract subprograms in Ada95

["Grein, Christoph" <christoph.grein@eurocopter.com>]

The following compiles fine (with Rational Apex):


package Abstract_Class_Wide is

    type T is abstract tagged null record;

    procedure P (X : T) is abstract;

    procedure C (X : T'Class);

end Abstract_Class_Wide;



package body Abstract_Class_Wide is

    procedure C (X : T'Class) is
    begin
	P (X);
    end C;

end Abstract_Class_Wide;