summaryrefslogtreecommitdiff
path: root/gcc/testsuite/gnat.dg/discr23_pkg.ads
blob: 339734be868b7fa4c24ee8b797f636c86e832e19 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
package Discr23_Pkg is

  subtype Size_Range is Positive range 1 .. 256;

  type Text (Size : Size_Range) is
    record
      Characters : String( 1.. Size);
    end record;

  function Get return Text;

end Discr23_Pkg;