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

Differences between 1.4 and version 1.5
Log of other versions for file ai12s/ai12-0095-1.txt

--- ai12s/ai12-0095-1.txt	2014/07/31 02:03:13	1.4
+++ ai12s/ai12-0095-1.txt	2014/09/30 01:58:44	1.5
@@ -1,4 +1,4 @@
-!standard 3.10.2(27.2/3)                              14-07-24  AI05-0095-1/02
+!standard 3.10.2(27.2/3)                              14-09-29  AI05-0095-1/03
 !standard 4.6(24.16/2)
 !standard 6.4.1(6.2/3)
 !standard 12.5.1(15)
@@ -10,7 +10,7 @@
 !priority Medium
 !difficulty Easy
 !qualifier Omission
-!subject Generic bodies assume-the-worst whether formal type have constrained partial views
+!subject Generic formal types and constrained partial views
 !summary
 
 Within a generic body, we assume the worst as to whether or not a formal
@@ -160,7 +160,7 @@
 introduced for the prefix of 'Access by AI05-0041-1, except that it is even
 less likely in these cases. For aliased parameters (new to Ada 2012), there
 probably isn't enough use of them for the incompatibility to be significant.
-For type conversions (the rule in it's current form was introduced in
+For type conversions (the rule in its current form was introduced in
 Ada 2005), the likelihood of problems is low, as a generic formal private
 or derived type with discriminants is required, along with a type conversion
 from one access type to another with the same designated type that does
@@ -168,9 +168,9 @@
 
 While working on this AI, we also noticed that the AARM Note 6.4.1(6.d/3) is
 wrong, as "master of the function call" defines other cases where the master of
-the function = master of the return object is not the same as the master of the
-execution of the call. This note probaly predates the definition of "master of
-the function call" by AI05-0234-1; we've also corrected it.
+the function (same as master of the return object) is not the same as the master
+of the execution of the call. This note probably predates the definition of
+"master of the function call" by AI05-0234-1; we've also corrected it.
 
 !corrigendum 3.10.2(27.2/2)
 

Questions? Ask the ACAA Technical Agent