17 lines
342 B
Ada
17 lines
342 B
Ada
|
-- { 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;
|