CVS difference for ais/ai-00033.txt

Differences between 1.3 and version 1.4
Log of other versions for file ais/ai-00033.txt

--- ais/ai-00033.txt	1999/08/31 22:53:53	1.3
+++ ais/ai-00033.txt	1999/09/16 20:40:28	1.4
@@ -1,4 +1,4 @@
-!standard 07.03.01 (03)                               99-08-31  AI95-00033/05
+!standard 07.03.01 (03)                               99-09-13  AI95-00033/06
 !standard 07.03.01 (04)
 !standard 07.03.01 (05)
 !standard 07.03.01 (06)
@@ -155,9 +155,9 @@
 where additional characteristics of its parent type become visible.
 @dby
 The corresponding rule applies to a type defined by a
-@fa<derived_type_definition>, if there is a place within the declarative
-region in which the type is declared where additional characteristics of its
-parent type become visible.
+@fa<derived_type_definition>, if there is a place immediately within the
+declarative region in which the type is declared where additional
+characteristics of its parent type become visible.
 
 !corrigendum 7.3.1(5)
 
@@ -170,8 +170,8 @@
 @dby
 For example, an array type whose component type is limited private
 becomes nonlimited if the full view of the component type is nonlimited and
-visible at some later place within the declarative region in which the
-array type is declared. In such a case, the predefined "=" operator is
+visible at some later place immediately within the declarative region in which
+the array type is declared. In such a case, the predefined "=" operator is
 implicitly declared at that place, and assignment is allowed after that place.
 
 !corrigendum 7.3.1(6)
@@ -188,12 +188,13 @@
 @dby
 Inherited primitive subprograms follow a different rule.  For a
 @fa<derived_type_definition>, each inherited primitive subprogram is implicitly
-declared at the earliest place, if any, within the declarative region in which
-the @fa<type_declaration> is declared, but after the @fa<type_declaration>,
-where the corresponding declaration from the parent is visible. If there is no
-such place, then the inherited subprogram is not declared at all. An inherited
-subprogram that is not declared at all cannot be named in a call and cannot be
-overridden, but for a tagged type, it is possible to dispatch to it.
+declared at the earliest place, if any, immediately within the declarative
+region in which the @fa<type_declaration> is declared, but after the
+@fa<type_declaration>, where the corresponding declaration from the parent is
+visible. If there is no such place, then the inherited subprogram is not
+declared at all. An inherited subprogram that is not declared at all cannot
+be named in a call and cannot be overridden, but for a tagged type, it is
+possible to dispatch to it.
 
 !ACATS test
 

Questions? Ask the ACAA Technical Agent