Sign in
gnu
/
gcc
/
a6d3012b274f38b20e2a57162106f625746af6c6
/
.
/
gcc
/
testsuite
/
gnat.dg
/
spark1.ads
blob: d903cc74945c33078868987e6a540b16284a5822 [
file
] [
log
] [
blame
]
package
Spark1
is
Mailbox
:
Integer
with
Atomic
,
Async_Writers
,
Async_Readers
;
task
Worker
with
Global
=>
(
Input
=>
Mailbox
);
end
;