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!news.eternal-september.org!feeder.eternal-september.org!feeder.erje.net!eu.feeder.erje.net!news.albasani.net!reality.xs3.de!news.jacob-sparre.dk!loke.jacob-sparre.dk!pnx.dk!.POSTED!not-for-mail From: Jacob Sparre Andersen Newsgroups: comp.lang.ada Subject: Re: Shouldn't there be a paragraph like 7.3.2(5/3) in 3.2.4? Date: Tue, 13 May 2014 10:53:26 +0200 Organization: Jacob Sparre Andersen Research & Innovation Message-ID: <87y4y6m54p.fsf@adaheads.sparre-andersen.dk> References: <87bnv3nomb.fsf@adaheads.sparre-andersen.dk> NNTP-Posting-Host: 3408ds2-vbr.0.fullrate.dk Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii X-Trace: loke.gir.dk 1399971206 32750 90.184.74.58 (13 May 2014 08:53:26 GMT) X-Complaints-To: news@jacob-sparre.dk NNTP-Posting-Date: Tue, 13 May 2014 08:53:26 +0000 (UTC) User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/23.4 (gnu/linux) Cancel-Lock: sha1:FevJCaAK8tGjhz/qzebvVJM7cNk= Xref: news.eternal-september.org comp.lang.ada:19796 Date: 2014-05-13T10:53:26+02:00 List-Id: Randy Brukardt wrote: > Adam Beneschan wrote: >> FYI, the first sentence is true for both subtype predicates and type >> invariants. It's actually redundant in 7.3.2(5/3), and the AARM >> shows it as such >> (http://www.ada-auth.org/standards/12aarm/html/AA-7-3-2.html); >> 13.1.1(12/3) applies to all aspect clauses on type and subtype >> declarations. I'd guess that the authors felt that in 7.3.2(5/3), >> they needed to repeat the rule in the first sentence in order to >> provide some context to help readers understand the >second sentence. > > Right; this is the consequence of other rules and does not need to be > mentioned in 3.2.4 (or 7.3.2, for that matter). Thanks for clarifying this. Greetings, Jacob --