CVS difference for ai12s/ai12-0003-1.txt

Differences between 1.17 and version 1.18
Log of other versions for file ai12s/ai12-0003-1.txt

--- ai12s/ai12-0003-1.txt	2015/01/31 01:45:26	1.17
+++ ai12s/ai12-0003-1.txt	2015/02/03 03:30:33	1.18
@@ -1,4 +1,4 @@
-!standard 8.2(11)                                   15-01-29    AI12-0003-1/09
+!standard 8.2(11)                                   15-02-02    AI12-0003-1/10
 !standard 13.11.3(1/3)
 !standard 13.11.3(3.1/3)
 !standard 13.11.3(4/3)
@@ -99,8 +99,8 @@
    which is an identifier specific to an aspect (see 13.1.1) and
    defines the default pool to be Standard. When the Default_Storage_Pool aspect
    is specified as Standard, then there shall not be a declaration with defining
-   identifier Standard that is immediately visible at the point of the aspect,
-   other than package Standard itself.
+   identifier Standard that is immediately visible at the point of the aspect
+   specification, other than package Standard itself.
 
    Otherwise, the} [The] expected type for the Default_Storage_Pool aspect is
    Root_Storage_Pool'Class[. The]{and the} aspect_definition {shall}[must] be a
@@ -217,8 +217,8 @@
 which is an identifier specific to an aspect (see 13.1.1) and
 defines the default pool to be Standard. When the Default_Storage_Pool aspect
 is specified as Standard, then there shall not be a declaration with defining
-identifier Standard that is immediately visible at the point of the aspect,
-other than package Standard itself.
+identifier Standard that is immediately visible at the point of the aspect
+specification, other than package Standard itself.
 
 Otherwise, the expected type for the Default_Storage_Pool aspect is
 Root_Storage_Pool'Class and the @fa<aspect_definition> shall be a
@@ -2395,3 +2395,70 @@
 regardless of the default pool.
 
 ****************************************************************
+
+From: Tucker Taft
+Sent: Saturday, January 31, 2015  9:16 AM
+
+> ...
+>
+> Static Semantics
+> 5/4
+> The language-defined aspect Default_Storage_Pool may be specified for 
+> a generic instance; it defines the default pool for access types 
+> within an instance. The Default_Storage_Pool aspect may be specified 
+> as Standard, which is an identifier specific to an aspect (see 13.1.1) 
+> and defines the default pool to be Standard. When the 
+> Default_Storage_Pool aspect is specified as Standard, then there shall 
+> not be a declaration with defining identifier Standard that is 
+> immediately visible at the point of the aspect, other than package Standard
+> itself.  ...
+
+This should probably say "at the point of the aspect specification" -- 
+"aspects" are abstract notions and don't have locations.
+
+****************************************************************
+
+From: Bob Duff
+Sent: Saturday, January 31, 2015  12:54 PM
+
+> This should probably say "at the point of the aspect specification" --  
+> "aspects" are abstract notions and don't have locations.
+
+Speaking of foolish consistencies...  ;-)
+
+The RM usually uses "place" rather than "point" to talk about some location
+in the program text.
+
+****************************************************************
+
+From: Randy Brukardt
+Sent: Monday, February  2, 2015  9:26 PM
+
+I'm dubious about that. Perhaps it was true in the Ada 95 RM, but not now.
+
+It looks to me like almost all of the Ada 2012 wording uses "at the point of",
+and even some older wording; I found 42 pages with occurrences in the draft 5
+AARM, including 6.1.1(19/3), 3.2.4(29.1/4), 5.5.2(6.3/4), 6.5(24.2/3),
+3.10.1(2.6/3), 3.10.1(2.7/3), 4.1.3(9.2/3), 6.4(11/2), 7.3.2(21/4),
+9.5.2(13.1/2), 9.5.3(21), 11.5(8.1/2), 12.6(9.1/3), 13.1.1(11/3), 13.1.1(35/3),
+13.11(25.2/3), 3.9(12.3/3), ... I quit after 18 items, but there's still a
+page and a half of additional search results that I didn't look through.
+
+There are only 26 pages with occurrences of "at the place of" in the draft 5
+AARM. All of the normative rules: 2.8(12), 3.4(17/2), 3.4(23/2), 4.1.3(12),
+8.3(25), 8.3(26/2), 10.1.6(1), 10.1.6(5), 10.1.6(6/2), 8.3.1(5/2), 10.1.5(4),
+10.1.5(6), 7.2(5/3), 8.5.4(8/3), 9.4(20), 11.4.2(18/3), 12.3(12),
+13.13.2(49/4), B.1(9), D.10.1(12/3). That's 20.
+
+I ignored AARM notes and user notes for these listings.
+
+It looks pretty even to me, with "at the point of" winning now. I didn't check
+any other forms of the phrase, which probably would change the numbers
+somewhat.
+
+Anyway, I didn't make a change here because it seems to fall directly into the
+"foolish consistency" category -- since it wouldn't be that consistent either
+way.
+
+****************************************************************
+

Questions? Ask the ACAA Technical Agent