summaryrefslogtreecommitdiff
path: root/gcc/testsuite/gnat.dg/specs/private_with.ads
blob: f339e5a43b351824335e33153db1c870661acde4 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
--  { dg-do compile }

private with Ada.Containers.Ordered_Maps;
with Ada.Containers.Ordered_Sets;
with Ada.Unchecked_Deallocation;
package private_with is

   type String_Access is access String;

   package Index_Sets is new Ada.Containers.Ordered_Sets
     (Element_Type => Positive);

   procedure Free is new Ada.Unchecked_Deallocation
     (Object => String,
      Name   => String_Access);
end;