gcc-4.9/gcc/testsuite/gnat.dg/discr11_pkg.ads


1
2
3
4
5
6
7
8

package Discr11_Pkg is
   type DT_1 (<>) is tagged private;
   function Create return DT_1;
private
   type DT_1 (Size : Positive) is tagged record
      Data : String (1 .. Size);
   end record;
end Discr11_Pkg;