CVS difference for ais/ai-00326.txt

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

--- ais/ai-00326.txt	2005/04/13 05:37:13	1.17
+++ ais/ai-00326.txt	2005/06/16 23:47:29	1.18
@@ -1,4 +1,4 @@
-!standard 03.02      (04)                            05-01-31  AI95-00326/09
+!standard 03.02      (04)                            05-05-24  AI95-00326/10
 !standard 03.02      (05)
 !standard 03.02.01   (08)
 !standard 03.07      (01)
@@ -113,7 +113,7 @@
 
    Static Semantics
 
-   An incomplete_type_declaration declares an incomplete view of a type,
+   An incomplete_type_declaration declares an incomplete view of a type
    and its first subtype; the first subtype is unconstrained if a
    discriminant_part appears. If the incomplete_type_declaration includes
    the reserved word tagged, it declares a tagged incomplete view. An
@@ -193,7 +193,7 @@
   If any of the above uses occurs as part of the declaration of a primitive
   subprogram of the incomplete view, and the declaration occurs immediately
   within the private part of a package, then the completion of the incomplete
-  view shall also occur immediately within the private part; it may not be
+  view shall also occur immediately within the private part; it shall not be
   deferred to the package body.
 
 AARM: This fixes a hole in Ada 95 where a dispatching operation with an access
@@ -223,7 +223,7 @@
 read:
 
   *  For each type_declaration in the visible part, an incomplete view of
-     the type is declared. If the type_declaration is tagged, then the view
+     the type; if the type_declaration is tagged, then the view
      is a tagged incomplete view.
 
 Modify 13.1(11/1):
@@ -509,7 +509,7 @@
 
 @i<@s8<Static Semantics>>
 
-An @fa<incomplete_type_declaration> declares an @i<incomplete view> of a type,
+An @fa<incomplete_type_declaration> declares an @i<incomplete view> of a type
 and its first subtype; the first subtype is unconstrained if a
 @fa<discriminant_part> appears. If the @fa<incomplete_type_declaration>
 includes the reserved word @b<tagged>, it declares a @i<tagged incomplete view>.
@@ -581,11 +581,11 @@
 @fa<attribute_reference> shall occur in the same library unit as the
 @fa<incomplete_type_declaration>.>
 @dby
-@xbullet<as the prefix of an @fa<attribute_reference> whose
+@xbullet<as the @fa<prefix> of an @fa<attribute_reference> whose
 @fa<attribute_designator> is Class; such an @fa<attribute_reference> is
 restricted to the uses allowed here; it denotes a tagged incomplete view.>
 
-If such a @fa<name> occurs within the list of declarative_items containing
+If such a @fa<name> occurs within the list of @fa<declarative_item>s containing
 the completion of the incomplete view, it may also be used:
 
 @xbullet<as the @fa<subtype_mark> defining the subtype of a parameter or result
@@ -594,7 +594,7 @@
 If any of the above uses occurs as part of the declaration of a primitive
 subprogram of the incomplete view, and the declaration occurs immediately
 within the private part of a package, then the completion of the incomplete
-view shall also occur immediately within the private part; it may not be
+view shall also occur immediately within the private part; it shall not be
 deferred to the package body.
 
 No other uses of a @fa<name> that denotes an incomplete view of a type are
@@ -634,7 +634,7 @@
 limited view of that package, with the same @fa<defining_program_unit_name>.>
 
 @xbullet<For each @fa<type_declaration> in the visible part, an incomplete
-view of the type is declared. If the @fa<type_declaration> is tagged, then the
+view of the type; if the @fa<type_declaration> is tagged, then the
 view is a tagged incomplete view.>
 
 !corrigendum 13.1(11/1)

Questions? Ask the ACAA Technical Agent