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

Differences between 1.4 and version 1.5
Log of other versions for file 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

Questions? Ask the ACAA Technical Agent