From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00,FREEMAIL_FROM
	autolearn=ham autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,8ddc02527645a844,start
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 2003-03-30 10:52:10 PST
Path: 
 archiver1.google.com!news1.google.com!sn-xit-02!sn-xit-04!sn-xit-01!sn-xit-08!supernews.com!freenix!fr.usenet-edu.net!usenet-edu.net!newsfeed00.sul.t-online.de!newsmm00.sul.t-online.com!t-online.de!news.t-online.com!not-for-mail
From: Bernd.Specht@gmx.com (Bernd Specht)
Newsgroups: comp.lang.ada
Subject: tasking with GNAT 3.14p on windows
Date: Sun, 30 Mar 2003 20:49:27 +0200
Organization: No company
Message-ID: <Xns934E8C5D49EFBerndSpechtgmxcom@62.153.159.134>
Mime-Version: 1.0
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: 8bit
X-Trace: news.t-online.com 1049050167 00 31448 IEfKEYIXS8ACBX 030330 18:49:27
X-Complaints-To: abuse@t-online.com
X-ID: V9e04qZH8eVfkx-VJVOkz+21wS4TgEJrda0z+J168lDNYbd6Bj4jYS
User-Agent: Xnews/4.05.03
Xref: archiver1.google.com comp.lang.ada:35811
Date: 2003-03-30T20:49:27+02:00
List-Id: <comp.lang.ada>

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?