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

--- ai12s/ai12-0005-1.txt	2020/09/11 22:20:27	1.39
+++ ai12s/ai12-0005-1.txt	2020/10/16 04:42:34	1.40
@@ -2452,7 +2452,27 @@
 
 ***************************************************************
 
-Editor's note (September 9, 2020): All of the items above this
+!topic Inheritance of literal aspect
+!reference Ada 202x AARM 4.2.1(6.a/5-6.e/5)
+!from Christoph Grein 28-09-20
+!discussion :
+Would the initial value of Pkg2.X be (1,1) if T2 were defined like so:
+   type T2 is new T1 with Integer_Literal => I_L;
+according to 13.1(15.1/3)? If so, I propose to state that. (I had a hard time 
+finding all the relevant paras, and probably missed some important ones.)
+
+BTW a typo: (6.e/5) The initial value of Pkg{2}.X is (0,0), not (1,1).
+
+***************************************************************
+
+!topic We also allow aspect_specifications on all kinds of bodies, but 
+       {there} are no language-defined aspects...
+!reference Ada 202x AARM 13.1.1(4.c/5)
+!from Christoph Grein 28-09-20 
+
+***************************************************************
+
+Editor's note (October 15, 2020): All of the items above this
 marker have been included in the working version of the AARM.
 
 ****************************************************************