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
Questions? Ask the ACAA Technical Agent