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=unavailable autolearn_force=no version=3.4.4
Path: 
 eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!news.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: "Jeffrey R. Carter" <spam.jrcarter.not@spam.not.acm.org>
Newsgroups: comp.lang.ada
Subject: Re: Select + Accept syntax question
Date: Sat, 27 Aug 2016 12:36:31 -0700
Organization: Also freenews.netfront.net; news.tornevall.net;
 news.eternal-september.org
Message-ID: <npsq41$7or$1@dont-email.me>
References: <60637c3a-c699-4e4c-9fd3-1a081cb6152c@googlegroups.com>
Mime-Version: 1.0
Content-Type: text/plain; charset=utf-8
Content-Transfer-Encoding: 7bit
Injection-Date: Sat, 27 Aug 2016 19:36:34 -0000 (UTC)
Injection-Info: mx02.eternal-september.org;
 posting-host="d7c030f56102b58a2c16dea977db88bb";
	logging-data="7963"; mail-complaints-to="abuse@eternal-september.org";
	posting-account="U2FsdGVkX1/l53zGPqyrNjFxfwWG1hY6q4ryT0I6ksI="
User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:45.0) Gecko/20100101
 Thunderbird/45.2.0
In-Reply-To: <60637c3a-c699-4e4c-9fd3-1a081cb6152c@googlegroups.com>
Cancel-Lock: sha1:r4X7hZdJuZALMHHfRxQBW9m2tXw=
Xref: news.eternal-september.org comp.lang.ada:31609
Date: 2016-08-27T12:36:31-07:00
List-Id: <comp.lang.ada>

On 08/27/2016 11:26 AM, Andrew Shvets wrote:
> 
> Why does this happen?  Why can't I have code right before the accept?  I can
> see a compilation error if there is no accept...

The definition of a selective accept doesn't allow this. This definition is in
ARM 9.7.1(2-7)

http://www.ada-auth.org/standards/rm12_w_tc1/html/RM-9-7-1.html

2
selective_accept ::=
  select
   [guard]
     select_alternative
{ or
   [guard]
     select_alternative }
[ else
   sequence_of_statements ]
  end select;
3
guard ::= when condition =>
4
select_alternative ::=
   accept_alternative
  | delay_alternative
  | terminate_alternative
5
accept_alternative ::=
  accept_statement [sequence_of_statements]
6
delay_alternative ::=
  delay_statement [sequence_of_statements]
7
terminate_alternative ::= terminate;

So the 1st thing after "select [guard]" or "or [guard]" has to be an accept,
delay, or terminate statement.

-- 
Jeff Carter
"Monsieur Arthur King, who has the brain of a duck, you know."
Monty Python & the Holy Grail
09