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=ham
	autolearn_force=no version=3.4.4
X-Google-Thread: 103376,3a1c64628a09855b
X-Google-Attributes: gid103376,domainid0,public,usenet
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news1.google.com!news4.google.com!feeder1-2.proxad.net!proxad.net!feeder1-1.proxad.net!club-internet.fr!feedme-small.clubint.net!nuzba.szn.dk!news.jacob-sparre.dk!pnx.dk!not-for-mail
From: "Randy Brukardt" <randy@rrsoftware.com>
Newsgroups: comp.lang.ada
Subject: Re: Lack of formal syntax undermines Ada
Date: Thu, 17 Apr 2008 01:37:08 -0500
Organization: Jacob's private Usenet server
Message-ID: <fu6r7j$b0i$1@jacob-sparre.dk>
References: 
 <e99fb94d-da10-41d2-9f20-7a6ce78d4613@p25g2000hsf.googlegroups.com>
 <47ff4970$0$19809$4d3efbfe@news.sover.net>
 <0d5b2ee5-56e7-446f-b29c-564580263c3e@i36g2000prf.googlegroups.com>
NNTP-Posting-Host: static-69-95-181-76.mad.choiceone.net
X-Trace: jacob-sparre.dk 1208414260 11282 69.95.181.76 (17 Apr 2008 06:37:40
 GMT)
X-Complaints-To: news@jacob-sparre.dk
NNTP-Posting-Date: Thu, 17 Apr 2008 06:37:40 +0000 (UTC)
X-Priority: 3
X-MSMail-Priority: Normal
X-Newsreader: Microsoft Outlook Express 6.00.2800.1914
X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2800.1914
Xref: g2news1.google.com comp.lang.ada:20979
Date: 2008-04-17T01:37:08-05:00
List-Id: <comp.lang.ada>

<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.