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: border2.nntp.dca1.giganews.com!nntp.giganews.com!newspeer1.nac.net!feeder.erje.net!eu.feeder.erje.net!news.roellig-ltd.de!open-news-network.org!news.muarf.org!news.ecp.fr!news.jacob-sparre.dk!loke.jacob-sparre.dk!pnx.dk!.POSTED!not-for-mail From: "Randy Brukardt" Newsgroups: comp.lang.ada Subject: Re: Use of expression function in protected type Date: Wed, 21 Jan 2015 14:44:40 -0600 Organization: Jacob Sparre Andersen Research & Innovation Message-ID: References: NNTP-Posting-Host: rrsoftware.com X-Trace: loke.gir.dk 1421873080 4372 24.196.82.226 (21 Jan 2015 20:44:40 GMT) X-Complaints-To: news@jacob-sparre.dk NNTP-Posting-Date: Wed, 21 Jan 2015 20:44:40 +0000 (UTC) X-Priority: 3 X-MSMail-Priority: Normal X-Newsreader: Microsoft Outlook Express 6.00.2900.5931 X-RFC2646: Format=Flowed; Original X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2900.6157 Xref: number.nntp.giganews.com comp.lang.ada:191985 Date: 2015-01-21T14:44:40-06:00 List-Id: "Simon Wright" wrote in message news:ly8ugwo5pm.fsf@pushface.org... ... >> However, an expression_function is allowed >> to complete a subprogram_declaration, but is not >> itself a subprogram_declaration (ARM 6.1(30/3). >> As far as I can tell, it's a basic_declaration, >> which is allowed in package specifications and >> bodies, but not in protected_operation_items. > > That was my reading, but I wondered whether it was deliberate, an > oversight, or I'd missed something. Certainly not deliberate, I'm pretty sure no one ever considered it. We will now (I've forwarded a version of your message to Ada-Comment). Randy.