CVS difference for ai12s/ai12-0027-1.txt

Differences between 1.10 and version 1.11
Log of other versions for file ai12s/ai12-0027-1.txt

--- ai12s/ai12-0027-1.txt	2013/01/31 04:41:21	1.10
+++ ai12s/ai12-0027-1.txt	2013/05/09 01:39:14	1.11
@@ -1,4 +1,4 @@
-!standard 4.6(24.17/3)                               12-12-31    AI12-0027-1/05
+!standard 4.6(24.17/3)                               13-05-08    AI12-0027-1/06
 !standard 4.6(24.21/2)
 !standard 4.6(58)
 !standard 6.2(10/3)
@@ -45,7 +45,7 @@
     -- Ptr now designates an unaliased object
 
 In addition, the existing wording doesn't deal with contract model issues with
-generics. By 12.5.3(8) and AARM 12.5.3(8.a) it's OK if a formal array type's
+generics. By 12.5.3(8) and AARM 12.5.3(8.a), it's OK if a formal array type's
 components are unaliased and the actual's are aliased, and Legality Rules such
 as 4.6(24.8) aren't checked in an instance body.
 
@@ -107,7 +107,7 @@
 
 !discussion
 
-The Ada 2012 never defines the accessibility of value conversions. However,
+Ada 2012 never defines the accessibility of value conversions. However,
 these are expected to be able to change representations (as described in
 13.6), and such a change surely will require a copy. If the type contains
 aliased components, surely those will need to be copied, too.

Questions? Ask the ACAA Technical Agent