CVS difference for ai05s/ai05-0050-1.txt
--- ai05s/ai05-0050-1.txt 2008/10/16 01:40:40 1.5
+++ ai05s/ai05-0050-1.txt 2008/10/25 04:53:14 1.6
@@ -271,9 +271,8 @@
The original wording of 6.5(24/2) applied in the case of a scalar result
type. We don't want this permission to apply (for example) in the case
of a function whose result subtype is Standard.Float. Thus, the revised
-The revised permission includes the phrase "of a composite type".
-This permission refers to dynamic semantics, so there are no issues with
-privacy.
+permission includes the phrase "of a composite type". This permission
+refers to dynamic semantics, so there are no issues with privacy.
----
@@ -299,7 +298,7 @@
O : Rec(5) := F;
The permission above would allow raising Constraint_Error at (1). But since that
-object is never actually returned, and the object that is returned is the right
+object is never actually returned, and the object that is returned has the right
shape, the full function call which did not take advantage of the permission
would not raise any exception.
Questions? Ask the ACAA Technical Agent