gcc/testsuite/gnat.dg/discr15.adb


1
2
3
4
5
6
7
8
9
10
11
12
13
14

-- { dg-do compile }
-- { dg-options "-gnatws" }

with Discr15_Pkg; use Discr15_Pkg;

procedure Discr15 (History : in Rec_Multi_Moment_History) is

  Sub: constant Rec_Multi_Moment_History := Sub_History_Of (History);
  subtype Vec is String(0..Sub.Last);
  Mmts : array(1..Sub.Size) of Vec;

begin
  null;
end;