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

procedure Discr19 is

   type Arr_Int_T is array (Integer range <>) of Integer;

   type Abs_Tag_Rec_T (N : Integer; M : Integer) is abstract tagged record
      Arr_Int : Arr_Int_T (1..M);
   end record;

   type Tag_Rec_T (M : Integer)
     is new Abs_Tag_Rec_T (N => 1, M => M) with null record;

begin
   null;
end;