aboutsummaryrefslogtreecommitdiff
path: root/gcc/testsuite/gnat.dg/spark1.ads
blob: d903cc74945c33078868987e6a540b16284a5822 (plain)
1
2
3
4
5
6
7
8
package Spark1 is

   Mailbox : Integer with Atomic, Async_Writers, Async_Readers;

   task Worker
     with Global => (Input => Mailbox);

end;