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!gandalf.srv.welterde.de!news.jacob-sparre.dk!loke.jacob-sparre.dk!pnx.dk!.POSTED!not-for-mail From: Jacob Sparre Andersen Newsgroups: comp.lang.ada Subject: Shouldn't there be a paragraph like 7.3.2(5/3) in 3.2.4? Date: Mon, 12 May 2014 14:54:52 +0200 Organization: Jacob Sparre Andersen Research & Innovation Message-ID: <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 1399899292 28222 90.184.74.58 (12 May 2014 12:54:52 GMT) X-Complaints-To: news@jacob-sparre.dk NNTP-Posting-Date: Mon, 12 May 2014 12:54:52 +0000 (UTC) User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/23.4 (gnu/linux) To: ada-comment@ada-auth.org Cancel-Lock: sha1:AD0Jdpp7GONpx0AIefgjs9ukRbg= Xref: news.eternal-september.org comp.lang.ada:19783 Date: 2014-05-12T14:54:52+02:00 List-Id: Reading the fine print on subtype predicates and type invariants, I noticed that section 3.2.4 (on subtype predicates) doesn't have a paragraph matching 7.3.2(5/3) (on type invariants). 7.3.2(5/3): Within an invariant expression, the identifier of the first subtype of the associated type denotes the current instance of the type. Within an invariant expression associated with type T, the type of the current instance is T for the Type_Invariant aspect and T'Class for the Type_Invariant'Class aspect. Greetings, Jacob -- "Reality is that which, when you stop believing in it, doesn't go away."