There is RM 1.1.2(38) describing the purpose of NOTEs. They fall under
the heading Implementation Advice.
These certainly should not move. But they are numbered.
> Advice and notes on the usage of the Ada programming language.
> This material is informative.
Is this meant to be a new RM text label with the heading Usage like the
others
described in 1.1.2?
Then the Usage notes must be moved. Since NOTEs are numbered, moving some
of them will alter their numbers.
(I see, NOTEs in RM 2012 were numbered continuously across clauses,
RM2012 3.9 NOTEs 70-73 were renumbered RM2022 3.9 NOTEs 1-4.)
> The form is fine, but I think these notes are clearly some that
> should NOT move. These are about using the RM itself, not about
> the usage of the Ada language.
I clearly see the difference, but the RM 1.1.4 NOTEs imho clearly state
how Ada
program text should be formatted, so they ARE Usage advice, not advice about
the RM.
> There are a lot of notes that are mainly describing language
> design decisions which of course have some effect on the usage
> of the language (almost everything does, after all).
I've noted that - and indeed between 1.1.4 and 4.6, I've not found a
single NOTE
(except of course the ones of AI 55) that could undoubtedly be called
Usage advice.
There is e.g. a boundary case in 3.5.1(12). I'm not sure how to treat
this since there
is no use of words like "should" etc as stated in AI 55.
> Someone will have to move the results into the Google Doc for
> AI22-0097-1, and my experience is that can chew up a lot of time
> (getting the formatting right is necessary for the tools to work,
> and futzing with formatting is a notorious time sink).
Since I do not know the tools, I'll have to let this work to poor Tucker.
Christoph
________________________________________________________
You have received this message because you subscribed to the Ada-Comment
mailing list. To leave the Ada-Comment list, send an email with
'leave Ada-Comment' in the body to [email protected]. For help
on the other commands available, send 'help Ada-Comment' to the same address.
Problems? Send mail to [email protected]. This list is operated by the
Ada Resource Association, Inc., PO Box 8685, New York NY 10116-8685.
