CVS difference for ai12s/ai12-0427-1.txt

--- ai12s/ai12-0427-1.txt	2021/05/30 00:26:28	1.4
+++ ai12s/ai12-0427-1.txt	2021/06/03 02:16:53	1.5
@@ -1,4 +1,4 @@
-!standard 3.5(56.4/3)                                   21-05-29  AI12-0427-1/04
+!standard 3.5(56.4/3)                                   21-06-02  AI12-0427-1/05
 !standard 3.6(22.2/3)
 !standard 4.1.3(13.1/5)
 !standard 4.2.1(0/5)
@@ -628,10 +628,10 @@
 are effectively inherited.
 
 We also could have required such by-reference primitives to "require 
-overridding". However, the language currently does not require overriding for
-any tagged type inheritance (meaning additional implementation burden), and
+overriding". However, the language currently does not require overriding for
+any untagged type inheritance (meaning additional implementation burden), and
 this also doesn't solve the problem for generics, since the original operations
-"re-emerge" in a generic (overridding is purely a visibility effect for 
+"re-emerge" in a generic (overriding is purely a visibility effect for
 untagged types).
 
 Thus, the only reasonable solution is to be to go back to disallowing the 
@@ -693,10 +693,10 @@
 (15) The reason for deferring names in a declaration is so that subprograms
 and objects declared after a subprogram or type can be used in aspects
 like preconditions and stream attributes. This is necessary for types as
-one cannot declare a subprogram with a parameter of a type *before* the
-type is declared (and is convinient in other cases). This need does not 
-apply to statements and expressions, so we resolve the aspect_definitions
-immediately.
+one cannot declare a subprogram with a parameter of a type or an object of
+a type *before* the type is declared (and is convenient in other declaration
+cases). This need does not apply to statements and expressions, so we resolve
+the aspect_definitions immediately.
 
 (16) The term "attribute reference" is not defined, and as the !problem
 states, it is not just an alternative for the syntax term