summaryrefslogtreecommitdiff
path: root/gcc/testsuite/gnat.dg/late_overriding.adb
blob: 9fe5fc1393308f362f3971221320d055b2fd50c9 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
-- { dg-do compile }

procedure late_overriding is
   package Pkg is
      type I is interface;
      procedure Meth (O : in I) is abstract;
      type Root is abstract tagged null record; 
      type DT1 is abstract new Root and I with null record; 
   end Pkg;
   use Pkg;
   type DT2 is new DT1 with null record; 
   procedure Meth (X : DT2) is begin null; end;  --  Test
begin   
   null;   
end;