CVS difference for ai05s/ai05-0004-1.txt

--- ai05s/ai05-0004-1.txt	2007/04/03 05:07:53	1.7
+++ ai05s/ai05-0004-1.txt	2007/04/05 01:49:14	1.8
@@ -1,5 +1,6 @@
-!standard C.7.1(17/2)                               07-02-26  AI05-0004-1/04
+!standard C.7.1(17/2)                               07-04-04  AI05-0004-1/05
 !standard 1.1.4(14.1/2)
+!standard 3.8(11)
 !standard 3.8(13.1/2)
 !standard 3.9.4(22/2)
 !standard 3.10.2(12.2/2)
@@ -61,6 +62,8 @@
 
 16) A.18.7(79/2) should appear after A.18.7(82/2).
 
+17) 3.8(11) should include operational items.
+
 !question
 
 1) Does C.7.1(17/2) apply to calls to Current_Task in an entry barrier? (Yes.)
@@ -124,6 +127,11 @@
 procedure Next. On the other hand, the function Contains, declared in A.18.7(82/2),
 has no following descriptive paragraph. Should it be moved? (Yes.)
 
+17) 3.8(11) discusses the use of names in aspect clauses (and aspect pragmas) inside
+of record definitions, but unnecessarily restricts them to representation items. Is
+there any good reason that (implementation-defined) operational items should be
+excluded here? (No.)
+
 [Other questions here.]
 
 !recommendation
@@ -164,6 +172,8 @@
 
 16) Move A.18.7(79/2) after A.18.7(82/2).
 
+17) 3.8(11) should say "{operational or }representation item".
+
 !discussion
 
 1) entry_barrier is syntactically within entry_body. C.7.1(17/2) however, says
@@ -229,6 +239,11 @@
 16) This is an objvious placement error. Note that this error is only in the RM, and
 not in the Amendment.
 
+17) This appears to be a change missed during the corrigendum work. It would be
+weirdly inconsistent not to allow operation items here. Note that there aren't
+any language-defined operation items that could be used here, so this change really
+only applies to implementation-defined items (as well as future ones).
+
 !corrigendum 1.1.4(14.1/2)
 
 @drepl
@@ -247,6 +262,17 @@
 range. For example, the character E in the definition of @fa<exponent> is the
 character whose name is "LATIN CAPITAL LETTER E", not "GREEK CAPITAL
 LETTER EPSILON".
+
+!corrigendum 3.8(11)
+
+@drepl
+@xbullet<A @fa<name> that denotes any component, protected subprogram, or entry
+is allowed within a representation item that occurs within the declaration of
+the composite type.>
+@dby
+@xbullet<A @fa<name> that denotes any component, protected subprogram, or entry
+is allowed within an operational or representation item that occurs within the
+declaration of the composite type.>
 
 !corrigendum 3.8(13.1/2)