comp.lang.ada
 help / color / mirror / Atom feed
From: "Randy Brukardt" <randy@rrsoftware.com>
Subject: Re: Ada 2012: An Oops in the new Ada amendments ? (in 10.1.2 Context Clauses - With Clauses)
Date: Tue, 10 Aug 2010 17:32:36 -0500
Date: 2010-08-10T17:32:36-05:00	[thread overview]
Message-ID: <i3sk26$b2n$1@munin.nbi.dk> (raw)
In-Reply-To: op.vg8gu8dwule2fv@garhos

[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #1: Type: text/plain, Size: 1037 bytes --]

"Yannick Duch�ne (Hibou57)" <yannick_duchene@yahoo.fr> wrote in message 
news:op.vg8gu8dwule2fv@garhos...
> OK, sorry, I see: "library item" vs "library_item" (the underscore).
>
> When I see this kind of things, do I have to understand this is a matter 
> of unformally defined item (old version) vs formally defined item (new 
> version) ? If this was made part of an amendment, I suppose the concern is 
> more than typo or formatting.

Right. The second one is also in the syntax font, so it is a more formal 
definition of what is being talked about. (The Standard often uses the 
English equivalent of a syntax form, but those are rarely if ever defined. 
We tend to change them when we see them for a better formal definition, 
although there are some cases where that's wrong. [Specifically, "function 
call" is generally thought to include infix operators, while the syntactic 
"function_call" definitely does not include infix operators. The fun of 
maintaining a Standard.]

                                     Randy.






      reply	other threads:[~2010-08-10 22:32 UTC|newest]

Thread overview: 4+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2010-08-10 17:28 Ada 2012: An Oops in the new Ada amendments ? (in 10.1.2 Context Clauses - With Clauses) Yannick Duchêne (Hibou57)
2010-08-10 17:43 ` Yannick Duchêne (Hibou57)
2010-08-10 17:43 ` Yannick Duchêne (Hibou57)
2010-08-10 22:32   ` Randy Brukardt [this message]
replies disabled

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