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

procedure Default_Pkg_Actual2 is

   generic
   package P1 is
   end;

   generic
      with package FP1a is new P1;
      with package FP1b is new P1;
   package P2 is
   end;

   generic
      with package FP2 is new P2 (FP1a => <>,  FP1b => <>);
   package P3 is
   end;

   package NP1a is new P1;
   package NP1b is new P1;
   package NP2  is new P2 (NP1a, NP1b);
   package NP4  is new P3 (NP2);

begin
   null;
end;