gcc-4.9/gcc/testsuite/gnat.dg/specs/limited_with4.ads


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23

-- { dg-do compile }
-- { dg-options "-gnat12 -gnatct" }

with Ada.Containers.Vectors;
with Limited_With4_Pkg;

package Limited_With4 is

   type Object is tagged private;
   type Object_Ref is access all Object;
   type Class_Ref is access all Object'Class;

   package Vec is new Ada.Containers.Vectors
     (Positive, Limited_With4_Pkg.Object_Ref,Limited_With4_Pkg ."=");
   subtype Vector is Vec.Vector;

private

   type Object is tagged record
      V : Vector;
   end record;

end Limited_With4;