Sign in
gnu
/
gcc
/
d769c5040874bf9546f2524f3f1d2a894165f92a
/
.
/
gcc
/
testsuite
/
gnat.dg
/
discr23_pkg.ads
blob: 339734be868b7fa4c24ee8b797f636c86e832e19 [
file
] [
log
] [
blame
]
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
;