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

Differences between 1.2 and version 1.3
Log of other versions for file ai12s/ai12-0080-1.txt

--- ai12s/ai12-0080-1.txt	2013/10/25 01:18:05	1.2
+++ ai12s/ai12-0080-1.txt	2013/12/12 04:24:54	1.3
@@ -1,4 +1,5 @@
 !standard 3.9.3(6/2)                                      13-10-24  AI05-0080-1/01
+!standard B.1(50)
 !class presentation 13-10-21
 !status work item 13-10-21
 !status received 13-06-16
@@ -15,8 +16,10 @@
 
 This AI corrects minor errors in the Standard.
 
-1) None yet.
+1) An abstract function inherited for a null extension still requires overriding.
 
+2) The examples in B.1 are of interfacing aspects, of course.
+
 !question
 
 1) The following appears to be legal:
@@ -37,13 +40,16 @@
 abstract, and we don't want abstract subprograms of nonabstract
 tagged types. Should this be fixed? (Yes.)
 
+2) B.1(50) says that the examples are of "interfacing pragmas", but all of the following
+examples are of "interfacing aspects". Should this be fixed? (Yes.)
+
 !recommendation
 
 (See Summary.)
 
 !wording
 
-1) Modify 3.9.3(6):
+1) Modify 3.9.3(6/2):
 
 Otherwise, the subprogram shall be overridden with a nonabstract
 subprogram or, in the case of a private extension inheriting a {nonabstract}
@@ -54,6 +60,10 @@
 subprogram need not be overridden for the formal type itself; a nonabstract
 version will necessarily be provided by the actual type.
 
+2) Modify B.1(50):
+
+Example of interfacing {aspects}[pragmas]:
+
 !discussion
 
 1) This problem was noted in the e-mail appendix to AI95-00391-1 (which
@@ -61,8 +71,10 @@
 applied. It obviously would make no sense to allow an abstract routine to
 be inherited but not be overridden for a nonabstract type (of any kind).
 
+2) Since the clause title is "Interfacing aspects", it's pretty clear
+what the intent is!
 
-!corrigendum 3.9.3(6)
+!corrigendum 3.9.3(6/2)
 
 @drepl
 @xbullet<Otherwise, the subprogram shall be overridden with a nonabstract
@@ -83,6 +95,13 @@
 subprogram need not be overridden for the formal type itself; a nonabstract
 version will necessarily be provided by the actual type.>
 
+!corrigendum B.1(50)
+
+@drepl
+@i<Examples of interfacing pragmas:>
+@dby
+@i<Examples of interfacing aspects:>
+
 !ASIS
 
 No changes needed.
@@ -145,5 +164,13 @@
 
 Heh... I just noticed (9 years after the fact) that Tucker mentioned this
 at the end of AI95-391, but apparently it didn't get in ...
+
+****************************************************************
+
+From: Randy Brukardt
+Sent: Friday, September 27, 2013  7:51 PM
+
+B.1(50) says "examples of interfacing PRAGMAS", but the examples are all of
+aspects. Grump.
 
 ****************************************************************

Questions? Ask the ACAA Technical Agent