summaryrefslogtreecommitdiff
path: root/gcc/testsuite/gnat.dg/discr15.adb
blob: 0030ac7d9064710bc202fc23d47059f3cfa53616 (plain)
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;