CVS difference for ai05s/ai05-0032-1.txt
--- ai05s/ai05-0032-1.txt 2010/07/08 02:04:20 1.8
+++ ai05s/ai05-0032-1.txt 2011/01/25 08:00:07 1.9
@@ -194,9 +194,9 @@
@drepl
@xbullet<If the result subtype of the function is class-wide, the
-accessibility level of the type of the @fa<expression> of the return statement
-shall not be statically deeper than that of the master that elaborated the
-function body. If the result
+accessibility level of the type of the @fa<expression> of the
+return statement shall not be statically deeper than that of the master
+that elaborated the function body. If the result
subtype has one or more unconstrained access discriminants, the
accessibility level of the anonymous access type of each access discriminant,
as determined by the @fa<expression> of the @fa<simple_return_statement> or the
@@ -204,9 +204,9 @@
master that elaborated the function body.>
@dby
@xbullet<If the result subtype of the function is class-wide, the
-accessibility level of the type of the @fa<expression> (if any) of the
-return statement shall not be statically deeper than that of the master
-that elaborated the function body. If the result
+accessibility level of the type of the @fa<expression> (if any) of the return statement
+shall not be statically deeper than that of the master that elaborated the
+function body. If the result
subtype has one or more unconstrained access discriminants, the
accessibility level of the anonymous access type of each access discriminant,
as determined by the @fa<expression> of the @fa<simple_return_statement> or the
Questions? Ask the ACAA Technical Agent