gcc/testsuite/gnat.dg/default_pkg_actual2.adb

   1 --  { dg-do compile }
   2
   3 procedure Default_Pkg_Actual2 is
   4
   5    generic
   6    package P1 is
   7    end;
   8
   9    generic
  10       with package FP1a is new P1;
  11       with package FP1b is new P1;
  12    package P2 is
  13    end;
  14
  15    generic
  16       with package FP2 is new P2 (FP1a => <>,  FP1b => <>);
  17    package P3 is
  18    end;
  19
  20    package NP1a is new P1;
  21    package NP1b is new P1;
  22    package NP2  is new P2 (NP1a, NP1b);
  23    package NP4  is new P3 (NP2);
  24
  25 begin
  26    null;
  27 end;