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
Questions? Ask the ACAA Technical Agent