gcc-4.8.3/gcc/testsuite/gnat.dg/limited_with2.ads


1
2
3
4
5
6
7
8
9
10
11

with Limited_With2_Pkg1;

package Limited_With2 is

   type Rec1 is record
     F : Limited_With2_Pkg1.Rec2;
   end record;

   function Func (Val : Rec1) return Limited_With2_Pkg1.Rec2;

end Limited_With2;