From: Robert A Duff <bobduff@world.std.com>
Subject: Re: Ada safety road Was: Which is right ...
Date: 1999/06/08
Date: 1999-06-08T00:00:00+00:00 [thread overview]
Message-ID: <wcc7lpeh9cg.fsf@world.std.com> (raw)
In-Reply-To: yecwvxfrb96.fsf@king.cts.com
Keith Thompson <kst@cts.com> 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.
next prev parent reply other threads:[~1999-06-08 0:00 UTC|newest]
Thread overview: 57+ messages / expand[flat|nested] mbox.gz Atom feed top
1999-05-30 0:00 Which is right here - GNAT or OA ? Vladimir Olensky
1999-05-30 0:00 ` Florian Weimer
1999-05-31 0:00 ` Vladimir Olensky
1999-05-31 0:00 ` Robert Dewar
1999-06-05 0:00 ` Vladimir Olensky
1999-06-05 0:00 ` Florian Weimer
1999-06-05 0:00 ` Vladimir Olensky
1999-06-05 0:00 ` Robert Dewar
1999-06-07 0:00 ` Ada safety road Was: Which is right Vladimir Olensky
1999-06-06 0:00 ` Robert Dewar
1999-06-07 0:00 ` Pascal F. Martin
1999-06-07 0:00 ` Vladimir Olensky
1999-06-08 0:00 ` Robert A Duff
1999-06-06 0:00 ` Larry Kilgallen
1999-06-07 0:00 ` Keith Thompson
1999-06-07 0:00 ` Hyman Rosen
1999-06-08 0:00 ` Robert A Duff
1999-06-08 0:00 ` Keith Thompson
1999-06-09 0:00 ` Robert Dewar
1999-06-09 0:00 ` Tucker Taft
1999-06-09 0:00 ` Robert Dewar
1999-06-09 0:00 ` dennison
1999-06-09 0:00 ` Entamology of "Nasal Demons" dennison
1999-06-08 0:00 ` Ada safety road Was: Which is right Robert Dewar
1999-06-09 0:00 ` dennison
1999-06-08 0:00 ` Robert Dewar
1999-06-07 0:00 ` Keith Thompson
1999-06-08 0:00 ` Robert A Duff
1999-06-08 0:00 ` Robert A Duff [this message]
1999-06-14 0:00 ` Ada safety road Franco Mazzanti
1999-06-15 0:00 ` Franco Mazzanti
1999-06-16 0:00 ` Vladimir Olensky
1999-06-10 0:00 ` Ada safety road Was: Which is right Peter Amey
1999-06-10 0:00 ` Markus Kuhn
1999-06-11 0:00 ` Vladimir Olensky
1999-06-12 0:00 ` Robert Dewar
1999-06-12 0:00 ` JP Thornley
1999-06-13 0:00 ` Vladimir Olensky
1999-06-16 0:00 ` William Dale
1999-06-19 0:00 ` JP Thornley
1999-06-21 0:00 ` Robert A Duff
1999-06-13 0:00 ` Vladimir Olensky
1999-06-12 0:00 ` Matthew Heaney
1999-06-13 0:00 ` Vladimir Olensky
1999-06-13 0:00 ` Robert Dewar
1999-06-13 0:00 ` Vladimir Olensky
1999-06-13 0:00 ` Robert Dewar
1999-06-13 0:00 ` Vladimir Olensky
1999-06-13 0:00 ` swhalen
1999-06-01 0:00 ` Which is right here - GNAT or OA ? Tucker Taft
1999-05-30 0:00 ` Robert Dewar
1999-05-31 0:00 ` Vladimir Olensky
1999-05-31 0:00 ` Robert Dewar
1999-06-01 0:00 ` dennison
1999-05-31 0:00 ` David Botton
1999-06-01 0:00 ` dennison
1999-06-03 0:00 ` Matthew Heaney
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox