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.3 required=5.0 tests=BAYES_00,INVALID_MSGID autolearn=no autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII-7-bit X-Google-Thread: 103376,74b55538385b7366 X-Google-Attributes: gid103376,public From: Robert A Duff Subject: Re: Ada safety road Was: Which is right ... Date: 1999/06/08 Message-ID: #1/1 X-Deja-AN: 487156819 Sender: bobduff@world.std.com (Robert A Duff) References: <928083159.436.79@news.remarQ.com> <928174549.336.98@news.remarQ.com> <7iuqkc$ln6$1@nnrp1.deja.com> <928529202.956.79@news.remarQ.com> <928569312.951.42@news.remarQ.com> <7jb1l9$694$1@nnrp1.deja.com> <928703068.617.98@news.remarQ.com> <1999Jun6.181633.1@eisner> Organization: The World Public Access UNIX, Brookline, MA Newsgroups: comp.lang.ada Date: 1999-06-08T00:00:00+00:00 List-Id: Keith Thompson writes: > The RM already has several "informative" annexes, which are not > strictly part of the standard. Annexes K (attributes) and L (pragmas) > are particularly useful, even though (or rather *because*) they > duplicate information scattered around the RM. Annexes K and L are automatically generated from the scattered text defining the various attributes and pragmas throughout the RM. > As I was writing this, I realized we already have the next best thing. > The entry for "erroneous" in the RM's index refers to all the places > in the RM where the term is used; likewise for "bounded error". In general, when I thought it would be useful to have a list of something-or-others gathered together in one place, I chose to put it in the index. This is compact enough that I could freely put in lots of useful lists, without worrying about making the document too big. There is at least one bug, unfortunately: the list under "configuration pragma" is missing pragma Discard_Names. > This brings up a pet peeve of mine: the word "erroneous" was a poor > choice of terminology. ... I agree. How many times have I had confusing discussions with non-Ada people, because they thought "erroneous" and "illegal" just mean "wrong", as opposed to a very particular kind of wrongness?! - Bob -- Change robert to bob to get my real email address. Sorry.