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

with Prot2_Pkg1;
with Prot2_Pkg2;

package body Prot2 is

   type A is array (1 .. Prot2_Pkg1.Num) of Integer;

   type E is (One, Two);

   type Rec (D : E := One) is record
      case D is
         when One => L : A;
         when Two => null;
      end case;
   end record;

   package My_Pkg2 is new Prot2_Pkg2 (Rec);

   procedure Dummy is begin null; end;

end Prot2;