25 lines
556 B
Ada
25 lines
556 B
Ada
-- { dg-do compile }
|
|
|
|
package body asynch is
|
|
function null_ctrl return t_ctrl is
|
|
begin
|
|
return (Ada.Finalization.Controlled with stuff => 0);
|
|
end null_ctrl;
|
|
|
|
procedure Proc (msg : String; c : t_ctrl := null_ctrl) is
|
|
begin
|
|
null;
|
|
end Proc;
|
|
|
|
task type tsk;
|
|
task body tsk is
|
|
begin
|
|
select
|
|
delay 10.0;
|
|
Proc ("A message.");
|
|
then abort
|
|
null;
|
|
end select;
|
|
end tsk;
|
|
end asynch;
|