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

Differences between 1.3 and version 1.4
Log of other versions for file ai05s/ai05-0013-1.txt

--- ai05s/ai05-0013-1.txt	2006/06/23 00:47:18	1.3
+++ ai05s/ai05-0013-1.txt	2006/12/16 03:13:17	1.4
@@ -1,6 +1,7 @@
-!standard 7.6(9.4/2)                                 06-06-21    AI05-0013-1/02
+!standard 7.6(9.4/2)                                 06-12-13    AI05-0013-1/03
 !standard D.7(4/2)
 !class binding interpretation 06-04-10
+!status ARG Approved  11-0-1  06-11-18
 !status work item 06-04-10
 !status received 06-04-03
 !priority Medium
@@ -19,7 +20,7 @@
 finalization."
 
 This rule was intended to support coextensions, which get finalized when
-the parent object gets finalized, and must therefore been taken into
+the parent object gets finalized, and must therefore have been taken into
 account for computing the "needs finalization" properties.  However:
 
 1 - Coextensions can exist for nonlimited types. Thus, the "limited"
@@ -40,7 +41,7 @@
 
 !recommendation
 
-Change the No_Nested_Finalization check to disallow aggregates of nested
+Change the No_Nested_Finalization check to disallow allocators of nested
 access types which designate types that need finalization, and delete the
 coextension rule from the definition of "needs finalization".
 
@@ -82,8 +83,7 @@
 
 @drepl
 @xindent<Objects of a type that needs finalization (see 7.6) and access types that
-designate a type that needs finalization such objects, shall be declared only
-at library level.>
+designate a type that needs finalization, shall be declared only at library level.>
 @dby
 @xindent<Objects of a type that needs finalization (see 7.6) shall be declared
 only at library level. There are no @fa<allocator>s for an access type whose

Questions? Ask the ACAA Technical Agent