comp.lang.ada
 help / color / mirror / Atom feed
From: "(see below)" <yaldnif.w@blueyonder.co.uk>
Subject: Re: embed accept statement in procedures not possible?
Date: Fri, 04 May 2007 18:03:07 +0100
Date: 2007-05-04T18:03:07+01:00	[thread overview]
Message-ID: <C26125DB.A99CF%yaldnif.w@blueyonder.co.uk> (raw)
In-Reply-To: 1178291081.936739.131740@c35g2000hsg.googlegroups.com

On 4/5/07 16:04, in article
1178291081.936739.131740@c35g2000hsg.googlegroups.com, "Gerd"
<GerdM.O@t-online.de> wrote:

> task body t is
>   procedure p is
>   begin
>     accept e;
>   end p;
> begin
>   p;
> end t;
> 
> GNAT tells me: "enclosing body for accept must be a task". But - the
> accept in procedure p _is_ in a task. So why is this not allowed?

Because it is not legal Ada.
See Ada (2005) Reference Manual Section 9.5.1, thus:

> For an accept_statement, the innermost enclosing body shall be a task_body,

IOW, the accept must not be in a body nested within the task body,
it must be *immediately* within the task body.

-- 
Bill Findlay
<surname><forename> chez blueyonder.co.uk





  parent reply	other threads:[~2007-05-04 17:03 UTC|newest]

Thread overview: 10+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2007-05-04 15:04 embed accept statement in procedures not possible? Gerd
2007-05-04 16:58 ` Jean-Pierre Rosen
2007-05-04 19:45   ` Adam Beneschan
2007-05-09  7:12     ` Jean-Pierre Rosen
2007-05-09 14:56       ` Adam Beneschan
2007-05-10 11:43         ` Jean-Pierre Rosen
2007-05-10 17:26           ` Pascal Obry
2007-05-04 17:03 ` (see below) [this message]
2007-05-04 21:22   ` adaworks
2007-05-05 23:54 ` Stephen Leake
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox