Version 1.2 of ai12s/ai12-0347-1.txt

Unformatted version of ai12s/ai12-0347-1.txt version 1.2
Other versions for file ai12s/ai12-0347-1.txt

!standard 12.6(15)          19-10-28 AI12-0347-1/01
!class presentation 19-10-28
!status work item 19-10-28
!status received 19-10-28
!priority Low
!difficulty Easy
!qualifier Omission
!subject Presentation issues
!summary
(1) Replace the fragment "_instantiation" with "generic_instantation".
!question
(1) There seems to be a typo in 12.6(15): "...directly visible at the place of the _instantiation."
!response
(1) This is not a typo; "_instantiation" is in the syntax font. This appears to be a shorthand for "generic_instantiation". But the full term isn't enough longer to justify the shorthand (and the confusion and queries like this one that it causes), so we replace the shorthand by the full term.
!wording
Modify 12.6(15):
A default_name denotes an entity that is visible or directly visible at the place of the generic_declaration; a box used as a default is equivalent to a name that denotes an entity that is directly visible at the place of the {generic_instantiation}[_instantiation].
[Editor's note: There are three similar occurrences in AARM notes in Clause 12; we also change those.]
!corrigendum 12.6(15)
Replace the paragraph:
17 A default_name denotes an entity that is visible or directly visible at the place of the generic_declaration; a box used as a default is equivalent to a name that denotes an entity that is directly visible at the place of the _instantiation.
by:
NOTES

17 A default_name denotes an entity that is visible or directly visible at the place of the generic_declaration; a box used as a default is equivalent to a name that denotes an entity that is directly visible at the place of the generic_instantiation.

!ASIS
No ASIS effect.
!ACATS test
No ACATS tests needed for presentation issues.
!appendix

From: Pascal Pignard
Sent: Monday, October 28, 2019  1:20 PM

[From private mail.]

I'm reading the AARM 202x draft 22 (text version).
I've found up to now 2 typos:

. Introduction - Using this version of the Ada Reference Manual -  77.5  
"Some versions also use color to indicate the version of the change.Where 
paragraphs are inserted," -> space missing "change.Where"

. Chapter 12, leading underscore "_instantiation", 4 times:
AA-12.TXT:651:            they are, of course, observed in the _instantiation in order to
AA-12.TXT:653:            _instantiation.
AA-12.TXT:819:            _instantiation need not look at the private part of the generic in
AA-12.TXT:2706:        directly visible at the place of the _instantiation.

****************************************************************

From: Randy Brukardt
Sent: Monday, October 28, 2019  11:26 PM

> I'm reading the AARM 202x draft 22 (text version).

Fonts are significant in the AARM, so one can't really use the text version 
alone when reading/reviewing the AARM. It's provided because some people want
it, but it is better to use the HTML (which has links) or PDF (which is a bit
easier to read) versions.

> I've found up to now 2 typos:
> 
> . Introduction - Using this version of the Ada Reference Manual -  
> 77.5  "Some versions also use color to indicate the version of the 
> change.Where paragraphs are inserted," -> space missing "change.Where"

Interesting; that's been the case since Ada 2005. Easy to fix, though.
 
> . Chapter 12, leading underscore "_instantiation", 4 times:
> AA-12.TXT:651:            they are, of course, observed in 
> the _instantiation in order to
> AA-12.TXT:653:            _instantiation.
> AA-12.TXT:819:            _instantiation need not look at the 
> private part of the generic in
> AA-12.TXT:2706:        directly visible at the place of the 
> _instantiation.

These are all syntax terms; the leading underscore is not a mistake. It's 
rather a shorthand for "generic_instanstation". If you look at a version that 
shows the fonts, this text is in the syntax font, not the regular text font.

I suspect this is text from a very early version of Ada 9x when there were 
multiple syntax terms for an instance ("generic_package_instantiation", 
"generic_procedure_instantation", etc.). Writing all of those out would have 
been ugly to read, so they just wrote the common part. It's done in other 
places in the AARM notes (never normative text). It doesn't seem necessary 
anymore.

[Editor's note: The theory given above for the use of these shorthands is not
true, even version 1.2 of Ada 9x uses "generic_instantiation". It's not at 
all obvious what the reason for this text was, 7 characters hardly seems
worth omitting when that necessarily makes things less clear.]

****************************************************************

Questions? Ask the ACAA Technical Agent