summaryrefslogtreecommitdiff
path: root/gcc/testsuite/gnat.dg/discr11_pkg.ads
blob: 1b0a979bb30d541418005d1f1ddc6404178f1c8f (plain)
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;