CVS difference for ais/ai-00317.txt

Differences between 1.14 and version 1.15
Log of other versions for file ais/ai-00317.txt

--- ais/ai-00317.txt	2004/11/25 00:03:37	1.14
+++ ais/ai-00317.txt	2005/01/07 03:07:39	1.15
@@ -334,8 +334,8 @@
     generic_association
   | >@ft<@i<generic_formal_parameter_>>@fa<selector_name =@> <@>>>
 
-Any positional @fa<generic_association>s shall precede any named
-@fa<generic_association>s.
+Any positional @fa<formal_package_association>s shall precede any named
+@fa<formal_package_association>s.
 
 !corrigendum 12.7(5)
 
@@ -353,7 +353,7 @@
 parameter of the formal package, determined as follows:
 
 @xbullet<If the @fa<formal_package_actual_part> includes
-@fa<generic_association>s as well as associations with <>, then only the
+@fa<generic_association>s as well as associations with <@>, then only the
 actual parameters specified explicitly with @fa<generic_associations> are
 required to match;>
 
@@ -367,12 +367,12 @@
 
 @drepl
 The visible part of a formal package includes the first list of
-@fa<basic_declarative_items> of the @fa<package_specification>. In addition,
+@fa<basic_declarative_item>s of the @fa<package_specification>. In addition,
 if the @fa<formal_package_actual_part> is (<@>), it also includes the
 @fa<generic_formal_part> of the template for the formal package.
 @dby
 The visible part of a formal package includes the first list of
-@fa<basic_declarative_items> of the @fa<package_specification>. In addition,
+@fa<basic_declarative_item>s of the @fa<package_specification>. In addition,
 for each actual parameter that is not required to match, a copy of the
 declaration of the corresponding formal parameter of the template is
 included in the visible part of the formal package. If the copied
@@ -380,11 +380,11 @@
 of the primitive subprograms of the formal type are also included in
 the visible part of the formal package.
 
-For the purposes of matching, if the actual instance A is itself a
-formal package, then the actual parameters of A are those specified
-explicitly or implicitly in the @fa<formal_package_actual_part> for A, plus,
+For the purposes of matching, if the actual instance @i<A> is itself a
+formal package, then the actual parameters of @i<A> are those specified
+explicitly or implicitly in the @fa<formal_package_actual_part> for @i<A>, plus,
 for those not specified, the copies of the formal parameters of the
-template included in the visible part of A.
+template included in the visible part of @i<A>.
 
 !ACATS test
 

Questions? Ask the ACAA Technical Agent