CVS difference for ai05s/ai05-0067-1.txt
--- ai05s/ai05-0067-1.txt 2008/12/30 03:10:22 1.13
+++ ai05s/ai05-0067-1.txt 2009/05/30 06:20:42 1.14
@@ -1,4 +1,4 @@
-!standard 4.3.2(5/2) 08-11-18 AI05-0067-1/08
+!standard 4.3.2(5/2) 09-05-29 AI05-0067-1/09
@@ -87,7 +87,7 @@
simply use the space returned by the function call.
[end AARM Reason]
-Remove 7.5(8.1/2), which is an "Implementation Requirements". Move the
+Remove 7.5(8.1/2), which is under "Implementation Requirements". Move the
AARM note as noted below.
Add "(see 7.6)" to the end of 7.5(9/2).
@@ -127,9 +127,10 @@
such copying semantically invisible (by patching up access values to point
to the copy, and so forth).
-AARM Reason: We talk about the full types being immutably limited, as (like
-parameter passing), this is independent of the view of a type.
-That is, privacy is ignored for this purpose.
+AARM Reason: We talk about the full types being immutably limited, as
+this is independent of the view of a type (in the same way that
+it is for determing the technique of parameter passing). That is,
+privacy is ignored for this purpose.
[Place existing AARM notes 7.6(17.h.1-17.i/2) here.]
@@ -137,6 +138,7 @@
immutable types. These are the types that would have been return-by-reference
types in Ada 95. We do this because we want to minimize disruption to Ada 95
implementations and users. [This note was 7.5(8.a/2) - ED]
+End AARM Notes.
Notwithstanding what this International Standard says elsewhere, if an object
is built in place:
@@ -325,7 +327,7 @@
In addition, 7.6(16) should say that Adjust is called only for nonlimited controlled types,
so that the canonical semantics is well-defined (limited controlled types do not have
-Adjust). Note that any non-limited components of a limited type that is not required
+Adjust). Note that any non-limited components of a limited type that are not required
to be built in place could need to be adjusted, so that needs to be well defined.
Questions? Ask the ACAA Technical Agent