view gcc/testsuite/gnat.dg/specs/discr1_pkg.ads @ 145:1830386684a0

gcc-9.2.0
author anatofuz
date Thu, 13 Feb 2020 11:34:05 +0900
parents 04ced10e8804
children
line wrap: on
line source

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;