gcc-4.9/gcc/testsuite/gnat.dg/specs/discr1_pkg.ads


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

package Discr1_Pkg is

  Maximum_Length : Natural := 80 ;

  subtype String_Length is Natural range 0 .. Maximum_Length;

  type Variable_String (Length : String_Length := 0) is
    record
      S : String (1 .. Length);
    end record;

  type Variable_String_Array is array (Natural range <>) of Variable_String;

end Discr1_Pkg;