CVS difference for ais/ai-00326.txt

Differences between 1.12 and version 1.13
Log of other versions for file ais/ai-00326.txt

--- ais/ai-00326.txt	2004/06/25 01:30:45	1.12
+++ ais/ai-00326.txt	2004/11/14 06:37:13	1.13
@@ -1,4 +1,4 @@
-!standard 03.02      (04)                            04-05-25  AI95-00326/07
+!standard 03.02      (04)                            04-11-12  AI95-00326/08
 !standard 03.02      (05)
 !standard 03.07      (01)
 !standard 03.10.01   (02)
@@ -194,10 +194,10 @@
 
    with P.C;
    package body P is
-       -- Ptr.all is not legal here, but it is in the scope of a nonlimited
-       -- with_clause for P.
+       -- Ptr.all'Size is not legal here, but it is in the scope of a
+       -- nonlimited_with_clause for P.
        type T is ...
-       -- Ptr.all is legal here.
+       -- Ptr.all'Size is legal here.
    end P;
 
 AI-217 Note: The above rules come from AI-217-6. Note that here we say that
@@ -575,13 +575,13 @@
 includes the reserved word @b<tagged>, it declares a @i<tagged incomplete view>.
 An incomplete view of a type is a limited view of the type (see 7.5).
 
-Given an access type A whose designated type T is an incomplete view,
-a dereference of a value of type A also has this incomplete view
+Given an access type @i<A> whose designated type @i<T> is an incomplete view,
+a dereference of a value of type @i<A> also has this incomplete view
 except when:
-@xbullet<it occurs in the immediate scope of the completion of T, or>
+@xbullet<it occurs in the immediate scope of the completion of @i<T>, or>
 @xbullet<it occurs in the scope of a @fa<nonlimited_with_clause> that mentions
-a library package in whose visible part the completion of T is declared.>
-In these cases, the dereference has the full view of T.
+a library package in whose visible part the completion of @i<T> is declared.>
+In these cases, the dereference has the full view of @i<T>.
 
 !corrigendum 10.1.1(12)
 

Questions? Ask the ACAA Technical Agent