gcc-4.9/gcc/testsuite/gnat.dg/specs/private1-sub.ads


1
2
3
4
5
6
7
8
9
10
11
12
13

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

package Private1.Sub is

   package Nested is
      type T is limited private;
      function "=" (X, Y : T) return Boolean;
   private
      type T is new Private1.T;
   end Nested;

end Private1.Sub;