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 autolearn=ham
	autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,f727b37cf2b2e501
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 2003-07-31 15:08:12 PST
Path: 
 archiver1.google.com!news1.google.com!newsfeed.stanford.edu!nntp.cs.ubc.ca!freenix!enst.fr!beeblebrox!nobody
From: Samuel Tardieu <sam@rfc1149.net>
Newsgroups: comp.lang.ada
Subject: Re: No_Abort_Statements
Date: Fri, 01 Aug 2003 00:05:49 +0200
Organization: Avian Carrier & Friends
Message-ID: <87smom4aiq.fsf@inf.enst.fr>
References: <bgbrbg$3ds$1@news.cs.tu-berlin.de>
 <vij0eehf4ogs50@corp.supernews.com>
NNTP-Posting-Host: willow.enst.fr
Mime-Version: 1.0
Content-Type: text/plain; charset=us-ascii
X-Trace: avanie.enst.fr 1059689188 59850 137.194.161.3 (31 Jul 2003 22:06:28
 GMT)
X-Complaints-To: usenet@enst.fr
NNTP-Posting-Date: Thu, 31 Jul 2003 22:06:28 +0000 (UTC)
User-Agent: Gnus/5.090007 (Oort Gnus v0.07) XEmacs/21.5 (cauliflower,
 i386--freebsd)
Cancel-Lock: sha1:ludPUsd6bQeAVBIOq2j92d3ae10=
X-Leafnode-NNTP-Posting-Host: 127.0.0.1
Xref: archiver1.google.com comp.lang.ada:41113
Date: 2003-08-01T00:05:49+02:00
List-Id: <comp.lang.ada>

>>>>> "Randy" == Randy Brukardt <randy@rrsoftware.com> writes:

Randy> It seems like there should be a way to eliminate ATC as
Randy> well.

There is: pragma Restrictions (Max_Asynchronous_Select_Nesting = 0);

  Sam
-- 
Samuel Tardieu -- sam@rfc1149.net -- http://www.rfc1149.net/sam