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-Thread: 103376,45d937e5cf2567 X-Google-Attributes: gid103376,public X-Google-Language: ENGLISH,ASCII-7-bit Path: g2news2.google.com!news4.google.com!news1.google.com!fu-berlin.de!uni-berlin.de!individual.net!not-for-mail From: "Alex R. Mosteo" Newsgroups: comp.lang.ada Subject: Re: entries and access parameters Date: Thu, 13 Jul 2006 19:53:59 +0200 Message-ID: <4hnfhcFegpdU1@individual.net> References: <4hn8k3FdjobU1@individual.net> <44b683f3$1_1@glkas0286.greenlnk.net> Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7Bit X-Trace: individual.net 5MxozKdI9aqy2yTJgRQdiwFkW7PUZettTMQHK/BVlX+a5J6bs= User-Agent: KNode/0.10.2 Xref: g2news2.google.com comp.lang.ada:5666 Date: 2006-07-13T19:53:59+02:00 List-Id: Stuart wrote: > "Alex R. Mosteo" wrote in message > news:4hn8k3FdjobU1@individual.net... >> I'm trying to find in the 95 rationale the explanation for this point >> >> http://www.adahome.com/rm95/rm9x-09-05-02.html >> >> (13) An entry_declaration in a task declaration shall not contain a >> specification for an access parameter (See 3.10) >> I'm curious about that prohibition, mainly to know if workarounding it >> with >> a type like > > I can't help with the reference to 3.10, but the annotated ARM gives the > following after 9.5.2 (13) Ahhh thanks, so it was there where I read about it. Now it's coming back. (removed the relevant part of the aarm).