gcc/testsuite/gnat.dg/specs/with_containers.ads

   1 --  { dg-do compile }
   2
   3 pragma Warnings (Off);
   4 with Ada.Containers.Doubly_Linked_Lists;
   5 with Ada.Containers.Hashed_Maps;
   6 with Ada.Containers.Hashed_Sets;
   7 with Ada.Containers.Indefinite_Doubly_Linked_Lists;
   8 with Ada.Containers.Indefinite_Hashed_Maps;
   9 with Ada.Containers.Indefinite_Hashed_Sets;
  10 with Ada.Containers.Indefinite_Ordered_Maps;
  11 with Ada.Containers.Indefinite_Ordered_Multisets;
  12 with Ada.Containers.Indefinite_Ordered_Sets;
  13 with Ada.Containers.Indefinite_Vectors;
  14 with Ada.Containers.Ordered_Maps;
  15 with Ada.Containers.Ordered_Multisets;
  16 with Ada.Containers.Ordered_Sets;
  17 with Ada.Containers.Prime_Numbers;
  18 with Ada.Containers.Red_Black_Trees.Generic_Keys;
  19 with Ada.Containers.Red_Black_Trees.Generic_Operations;
  20 with Ada.Containers.Red_Black_Trees.Generic_Set_Operations;
  21 with Ada.Containers.Red_Black_Trees;
  22 with Ada.Containers.Restricted_Doubly_Linked_Lists;
  23 with Ada.Containers.Vectors;
  24
  25 package With_Containers is
  26    pragma Remote_Types;
  27 end With_Containers;