diff options
Diffstat (limited to 'gcc/testsuite/gnat.dg/discr23_pkg.ads')
-rw-r--r-- | gcc/testsuite/gnat.dg/discr23_pkg.ads | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/gcc/testsuite/gnat.dg/discr23_pkg.ads b/gcc/testsuite/gnat.dg/discr23_pkg.ads new file mode 100644 index 000000000..339734be8 --- /dev/null +++ b/gcc/testsuite/gnat.dg/discr23_pkg.ads @@ -0,0 +1,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; |