Sign in
gnu
/
gcc
/
refs/tags/basepoints/gcc-13
/
.
/
gcc
/
testsuite
/
gnat.dg
/
predicate8.adb
blob: 00196996afaf22a435dd0098191b1967a62b119e [
file
] [
log
] [
blame
]
--
{
dg
-
do
compile
}
pragma
Spark_Mode
(
On
);
with
Predicate8_Pkg
;
procedure
Predicate8
is
package
Ring_Buffer
is
new
Predicate8_Pkg
(
Element_Type
=>
Integer
);
use
Ring_Buffer
;
X
:
Ring_Buffer_Type
(
4
);
begin
Put
(
X
,
1
);
end
Predicate8
;