comp.lang.ada
 help / color / mirror / Atom feed
From: "Randy Brukardt" <randy@rrsoftware.com>
Subject: Re: Lack of formal syntax undermines Ada
Date: Thu, 17 Apr 2008 01:37:08 -0500
Date: 2008-04-17T01:37:08-05:00	[thread overview]
Message-ID: <fu6r7j$b0i$1@jacob-sparre.dk> (raw)
In-Reply-To: 0d5b2ee5-56e7-446f-b29c-564580263c3e@i36g2000prf.googlegroups.com

<usenet@leapheap.co.uk> wrote in message
news:0d5b2ee5-56e7-446f-b29c-564580263c3e@i36g2000prf.googlegroups.com...
...
> I was surprised to see Annex P marked as "informative".
> I took this as shorthand for a statement of the form:
> "This Annex is a collection of the syntax rules presented in other
> sections of the document. Because of the dangers of a transcription
> error, it is informative only. The syntax rules as they appear in
> the other sections are normative"

That is exactly correct. Although there isn't much chance of a transcription
error: it (and Annexes K and L for that matter) are automatically generated
from the rest of the standard when it is formatted. (A number of other
annexes are also constructed this way, but partially from text that doesn't
actually appear in the Standard, so there is more chance of an error in
those. But I believe that K, L, and P are constructed only from text that
actually appears in the Standard, so the chances of error are low.)

                          Randy.





  parent reply	other threads:[~2008-04-17  6:37 UTC|newest]

Thread overview: 38+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2008-04-11  9:41 Lack of formal syntax undermines Ada usenet
2008-04-11 11:20 ` Peter C. Chapin
2008-04-15 12:57   ` usenet
2008-04-16  2:26     ` Peter C. Chapin
2008-04-16  3:14       ` Eric Hughes
2008-04-17  6:37     ` Randy Brukardt [this message]
2008-04-11 17:27 ` Georg Bauhaus
2008-04-11 18:13   ` Adam Beneschan
2008-04-11 21:25 ` John McCabe
2008-04-11 21:45   ` Robert A Duff
2008-04-11 22:37     ` John McCabe
2008-04-11 23:08       ` Adam Beneschan
2008-04-12  7:16         ` Dirk Craeynest
2008-04-14  7:23         ` Jean-Pierre Rosen
2008-04-12 12:57       ` Robert A Duff
2008-04-12 15:06         ` (see below)
2008-04-12 16:25           ` John McCabe
2008-04-12 17:55             ` (see below)
2008-04-12 22:19               ` John McCabe
2008-04-13  1:13                 ` (see below)
2008-04-13 11:51                   ` John McCabe
2008-04-13 14:13                     ` (see below)
2008-04-13 19:34                       ` John McCabe
2008-04-13 20:51                         ` (see below)
2008-04-13 21:06                           ` John McCabe
2008-04-12 17:16         ` Gary Scott
2008-04-12 18:43           ` Peter C. Chapin
2008-04-12 19:16             ` Gary Scott
2008-04-12 20:04               ` Robert A Duff
2008-04-12 23:32                 ` Gary Scott
2008-04-13  1:16                   ` Robert A Duff
2008-04-12 20:02           ` Robert A Duff
2008-04-12 20:52             ` Pascal Obry
2008-04-13 22:01       ` Florian Weimer
2008-04-13  9:46 ` anon
2008-04-15 13:22   ` usenet
2008-04-15 16:08     ` Adam Beneschan
2008-04-13 22:04 ` Florian Weimer
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox