CVS difference for ai05s/ai05-0245-1.txt
--- ai05s/ai05-0245-1.txt 2011/04/01 02:36:53 1.2
+++ ai05s/ai05-0245-1.txt 2011/04/07 06:30:24 1.3
@@ -1,4 +1,4 @@
-!standard 0.3(57.11/2) 11-03-31 AI05-0245-1/02
+!standard 0.3(57.11/2) 11-04-04 AI05-0245-1/03
!class Amendment 11-03-10
!status Amendment 2012 11-03-10
!status work item 11-03-10
@@ -57,8 +57,8 @@
parameters of all modes. In order to mitigate consequent (and indeed
existing) problems of inadvertent order dependence, rules are introduced to
reduce aliasing. A parameter may now be explicitly marked as aliased and
-incomplete types may be used as parameters in certain circumstances. See
-clauses 3.10.1, 6.1, and 6.4.1.
+incomplete types may be used as the type of a parameter in certain
+circumstances. See clauses 3.10.1, 6.1, and 6.4.1.
* The use of access types is now more flexible. The rules for
accessibility and certain conversions are improved. See clauses 3.10.2,
@@ -573,5 +573,23 @@
I suggest you do nothing, then. We can issue AI2012-000NN-1, which adds wording
that mentions the Ada 2012 Rationale, if and when it exists.
+
+****************************************************************
+
+From: Gary Dismukes
+Sent: Monday, April 4, 2011 1:11 PM
+
+In the update to the RM Introduction:
+
+> * A number of changes are made to parameters. Functions may now have
+> parameters of all modes. In order to mitigate consequent (and indeed
+> existing) problems of inadvertent order dependence, rules are
+> introduced to reduce aliasing. A parameter may now be explicitly
+> marked as aliased and incomplete types may be used as parameters in certain circumstances.
+
+I suggest changing: "incomplete types may be used as parameters"
+ to: "incomplete types may be used as parameter types"
+
+> See clauses 3.10.1, 6.1, and 6.4.1.
****************************************************************
Questions? Ask the ACAA Technical Agent