!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) @drepl @xindent<@s9<17 A @fa denotes an entity that is visible or directly visible at the place of the @fa; a box used as a default is equivalent to a name that denotes an entity that is directly visible at the place of the @fa<_instantiation>.>> @dby @xindent<@s9 denotes an entity that is visible or directly visible at the place of the @fa; a box used as a default is equivalent to a name that denotes an entity that is directly visible at the place of the @fa.>> !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.] ****************************************************************