tasking with GNAT 3.14p on windows

[Bernd.Specht@gmx.com (Bernd Specht)]

Hi,

I tried an example from "Barnes, 18.8", but it didn't work as expected. Any 
ideas?

with Text_IO; use Text_IO;

procedure TaskTest is
begin
  select
    delay 3.0;
    put_line ("aborted");
  then abort
    loop 
      null; -- modified
    end loop;
  end select;
end TaskTest;
 

The computation is not aborted (what I would expect). Do I misunderstand 
something?