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

with Discr18_Pkg; use Discr18_Pkg;

procedure Discr18 is

  String_10 : String (1..10) := "1234567890";

  MD : Multiple_Discriminants (A => 10, B => 10) :=
         Multiple_Discriminants'(A  => 10,
                                 B  => 10,
                                 S1 => String_10,
                                 S2 => String_10);
  MDE : Multiple_Discriminant_Extension (C => 10) :=
          (MD with C  => 10, S3 => String_10);

begin
  Do_Something(MDE);
end;