CVS difference for ai05s/ai05-0050-1.txt
--- ai05s/ai05-0050-1.txt 2009/05/22 00:04:33 1.8
+++ ai05s/ai05-0050-1.txt 2009/06/02 06:18:26 1.9
@@ -1,4 +1,4 @@
-!standard 6.5(24/2) 08-11-18 AI05-0050-1/06
+!standard 6.5(24/2) 09-05-31 AI05-0050-1/07
!class binding interpretation 07-05-04
!status Amendment 201Z 08-11-26
!status ARG Approved 7-0-0 08-11-02
@@ -140,7 +140,7 @@
limited record
F : Inner (Outer'Access);
end record;
- -- requires initialization in place
+ -- requires initialization to be built in place
type Unconstrained is array (Positive range <>) of T;
@@ -228,7 +228,7 @@
The permissive model would have allowed the declaration of X to raise
Constraint_Error. But that is bad, as the function ultimately returns an
object with the correct discriminant. Moreover, this is a common way to
-declare objects where the constraint is not immediately known. As such,
+declare objects where the constraint is not immediately known. Therefore,
we did not use this permissive model.
Finally, the implementation permissions of 6.5(24/2) should apply recursively in
@@ -242,7 +242,7 @@
limited record
F : Inner (Outer'Access);
end record;
- -- requires initialization in place
+ -- requires initialization to be built in place
type Unconstrained is array (Positive range <>) of T;
Questions? Ask the ACAA Technical Agent