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

--- ai05s/ai05-0134-1.txt	2009/01/25 03:57:27	1.1
+++ ai05s/ai05-0134-1.txt	2009/03/10 06:08:57	1.2
@@ -1,5 +1,7 @@
-!standard 6.3.1(18)                                              09-01-24  AI05-0134-1/01
+!standard 6.3.1(18)                                              09-03-09  AI05-0134-1/02
 !class binding interpretation 09-01-24
+!status Amendment 201Z 09-03-09
+!status ARG Approved  9-0-0  09-02-21
 !status work item 09-01-24
 !status received 08-12-19
 !priority Low
@@ -33,7 +35,9 @@
    end Pack1;
 
 The wording for full conformance in 6.3.1(18) does not include any wording requiring the 
+profiles for access-to-subprogram parameters to be fully conformant.
 
+
 !recommendation
 
 (See Summary.)
@@ -45,7 +49,7 @@
 Two profiles are fully conformant if they are subtype-conformant, and corresponding
 parameters have the same names{,}[ and] both or neither have null_exclusions{,}[ and]
 they have default_expressions that are fully conformant with one another{ and, for
-access-to-subprogram parameters or access-to-subprogram result types, the designated
+access-to-subprogram parameters or access-to-subprogram results, the designated
 profiles are fully conformant}.
 
 !discussion
@@ -55,6 +59,12 @@
 rules for type conformance and mode conformance, which explicitly make requirements
 on access parameters and results. So we add wording to cover those cases explicitly.
 
+Note that without this rule, the default expressions could be different in an
+access-to-subprogram parameter in the specification and body of a subprogram. In that
+case, which default expression would be used in a call would be undefined. That would
+be bad.
+
+
 !corrigendum 6.3.1(18)
 
 @drepl
@@ -65,7 +75,7 @@
 Two profiles are fully conformant if they are subtype-conformant, and corresponding
 parameters have the same names, both or neither have null_exclusions,
 they have default_expressions that are fully conformant with one another and, for
-access-to-subprogram parameters or access-to-subprogram result types, the designated
+access-to-subprogram parameters or access-to-subprogram results, the designated
 profiles are fully conformant.
 
 !ACATS Test