gcc/testsuite/gnat.dg/env_compile_capacity.adb

   1 -- { dg-do compile }
   2
   3 with My_Env_Versioned_Value_Set_G;
   4 package body Env_Compile_Capacity is
   5   generic
   6     with package Env_Obj_Set_Instance is
   7        new My_Env_Versioned_Value_Set_G(<>);
   8     with function Updated_Entity (Value : Env_Obj_Set_Instance.Value_T)
   9         return Boolean is <>;
  10     with package Entity_Upd_Iteration is
  11        new Env_Obj_Set_Instance.Update_G (Updated_Entity);
  12   procedure Compile_G;
  13   procedure Compile_G is begin null; end;
  14   package My_Env_Aerodrome is
  15      new My_Env_Versioned_Value_Set_G (Value_T => String);
  16   function Updated_Entity (Id : in String) return Boolean is
  17     begin return True; end;
  18   package Iteration_Aerodrome_Arrival is
  19      new My_Env_Aerodrome.Update_G (Updated_Entity);
  20   procedure Aerodrome_Arrival is new Compile_G
  21     (Env_Obj_Set_Instance  => My_Env_Aerodrome,
  22      Updated_Entity        => Updated_Entity,
  23      Entity_Upd_Iteration  => Iteration_Aerodrome_Arrival);
  24 end Env_Compile_Capacity;