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

--- ai05s/ai05-0004-1.txt	2008/11/26 23:55:03	1.17
+++ ai05s/ai05-0004-1.txt	2009/04/30 06:19:47	1.18
@@ -1,4 +1,4 @@
-!standard C.7.1(17/2)                               08-05-15  AI05-0004-1/12
+!standard C.7.1(17/2)                               09-04-03  AI05-0004-1/13
 !standard 1.1.2(21)
 !standard 1.1.4(14.1/2)
 !standard 3.8(11)
@@ -96,7 +96,7 @@
 5) 4.1(7) uses the syntax font for attributes, but the syntax for attributes is called
 an attribute_reference. Change this? (Yes.)
 
-6) 7.3(10.1/2) says "is a derived_type_definition", but there is no such thing.
+6) 7.3(10.1/2) says "is a derived_type_declaration", but there is no such thing.
 
 7) D.9(6) talks about a selective_accept_alternative. But there is no such thing;
 was select_alternative meant instead? (Yes.)
@@ -179,7 +179,7 @@
 
 5) 4.1(7) should say attribute_reference rather than attribute.
 
-6) 7.3(10.1/2) should say defined by a derived_type_definition.
+6) 7.3(10.1/2) should say "includes a derived_type_definition".
 
 7) D.9(6) should say select_alternative.
 
@@ -413,26 +413,26 @@
 @drepl
 @xcode<@fa<attribute_designator ::= >
     @fa<identifier[(>static@fa<_expression)]>
-  @fa<| Access | Delta | Digits | Mod>>
+  @fa<| Access | Delta | Digits>>
 @dby
 @xcode<@fa<attribute_designator ::= >
     @fa<identifier[(>static@fa<_expression)]>
-  @fa<| Access | Delta | Digits>>
+  @fa<| Access | Delta | Digits | Mod>>
 
 !corrigendum 4.3.3(32)
 
 @drepl
 @s9<10  In an @fa<array_aggregate>, positional notation may only be used with two
 or more @fa<expression>s; a single @fa<expression> in parentheses is interpreted as a
-@fa<parenthesized_expression>. A @fa<named_array_aggregate>, such as (1 => X),
+@fa<parenthesized_expression>. A @fa<named_array_aggregate>, such as (1 =@> X),
 may be used to specify an array with a single component.>
 @dby
 @s9<10  In an @fa<array_aggregate>, positional notation may only be used with two
 or more @fa<expression>s; a single @fa<expression> in parentheses is interpreted as a
-parenthesized expression. A @fa<named_array_aggregate>, such as (1 => X),
+parenthesized expression. A @fa<named_array_aggregate>, such as (1 =@> X),
 may be used to specify an array with a single component.>
 
-!corrigendum 7.3.1(10.1/2)
+!corrigendum 7.3(10.1/2)
 
 @drepl
 If the @fa<full_type_declaration> for a private extension is a
@@ -440,7 +440,7 @@
 in the @fa<full_type_declaration> if and only if it also appears in the
 @fa<private_extension_declaration>.
 @dby
-If the @fa<full_type_declaration> for a private extension is defined by a
+If the @fa<full_type_declaration> for a private extension includes a
 @fa<derived_type_definition>, then the reserved word @b<limited> shall appear
 in the @fa<full_type_declaration> if and only if it also appears in the
 @fa<private_extension_declaration>.
@@ -523,10 +523,10 @@
 
 @drepl
 @xindent<Union deletes from Target the elements of Target that are not
-equivalent some element of Source.>
+equivalent to some element of Source.>
 @dby
 @xindent<Intersection deletes from Target the elements of Target that are not
-equivalent some element of Source.>
+equivalent to some element of Source.>
 
 !corrigendum A.18.7(79/2)
 
@@ -548,7 +548,7 @@
 interrupt handler, or finalization of a task attribute. Program_Error is raised,
 or an implementation-defined value of the type Task_Id is returned. 
 @dby
-It is a bounded error to call the Current_Task function from an @fa{entry_body}, or an
+It is a bounded error to call the Current_Task function from an @fa<entry_body>, or an
 interrupt handler, or finalization of a task attribute. Program_Error is raised,
 or an implementation-defined value of the type Task_Id is returned.