gcc/testsuite/gnat.dg/config_pragma1_pkg.ads

   1 pragma Assertion_Policy (Ignore);
   2
   3 with Ada.Containers; use Ada.Containers;
   4 with Ada.Containers.Formal_Hashed_Maps;
   5 with Ada.Strings;    use Ada.Strings;
   6 with Ada.Strings.Hash;
   7
   8 package Config_Pragma1_Pkg is
   9    subtype Positive10 is Positive range 1 .. 1000;
  10    subtype String10 is String (Positive10);
  11
  12    package FHM is new Formal_Hashed_Maps
  13      (Key_Type        => String10,
  14       Element_Type    => Positive10,
  15       Hash            => Hash,
  16       Equivalent_Keys => "=");
  17
  18    FHMM : FHM.Map
  19      (Capacity => 1_000_000,
  20       Modulus  => FHM.Default_Modulus (Count_Type (1_000_000)));
  21 end Config_Pragma1_Pkg;