CVS difference for ai05s/ai05-0051-1.txt

Differences between 1.10 and version 1.11
Log of other versions for file ai05s/ai05-0051-1.txt

--- ai05s/ai05-0051-1.txt	2009/06/02 01:57:20	1.10
+++ ai05s/ai05-0051-1.txt	2009/06/09 05:27:08	1.11
@@ -185,15 +185,15 @@
 
 Modify 6.5(21/2) as follows:
 
-    If [the result subtype]{any part of the return object or coextension thereof}
-    of a function has one or more [unconstrained] access discriminants {whose
-    value is not constrained by the result subtype of the function}, a check
-    is made that the accessibility level of the anonymous access type of each
-    access discriminant, as determined by the expression or the
-    return_subtype_indication of the function, is not deeper than [that
-    of the master that elaborated the function body] {the level of the
-    return object as determined by the point of call (see 3.10.2)}. If
-    this check fails, Program_Error is raised. 
+    If [the result subtype]{any part of the return object (or coextension
+    thereof)} of a function has one or more [unconstrained] access
+    discriminants {whose value is not constrained by the result subtype of
+    the function}, a check is made that the accessibility level of the
+    anonymous access type of each access discriminant, as determined by
+    the expression or the return_subtype_indication of the function, is
+    not deeper than [that of the master that elaborated the function body]
+    {the level of the return object as determined by the point of call
+    (see 3.10.2)}. If this check fails, Program_Error is raised. 
 
 Modify 7.6.1(11/2) as follows:
 

Questions? Ask the ACAA Technical Agent