Sign in
gnu
/
gcc
/
4e4e45a4fd341174d8231ee6a99e6fe308904f8f
/
.
/
gcc
/
testsuite
/
gnat.dg
/
discr56_pkg1.ads
blob: 385263263366ccfd4297bff9f7933d468a1f5643 [
file
] [
log
] [
blame
]
package
Discr56_Pkg1
is
type
Buffer
(
Size
:
Positive
)
is
limited
private
;
private
type
Arr
is
array
(
Natural
range
<>)
of
Integer
;
protected
type
Buffer
(
Size
:
Positive
)
is
private
Store
:
Arr
(
0.
.
Size
);
end
Buffer
;
end
Discr56_Pkg1
;