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
 !standard 7.5(8.1/2)
 !standard 7.5(9/2)
 !standard 7.6(0)
@@ -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.