CVS difference for ai05s/ai05-0131-1.txt
--- ai05s/ai05-0131-1.txt 2011/05/05 07:41:16 1.6
+++ ai05s/ai05-0131-1.txt 2013/10/24 02:20:31 1.7
@@ -292,6 +292,21 @@
An ACATS C-test should test the revised rule.
+Add at the end of 12.45:
+- Ada Standard 12.6(9.1-2)
+ - The implicit subprogram that exists for class-wide types corresponding
+ to an explicitly specified formal subprogram is Is_Part_Of_Implicit. The
+ enclosing element of their declaration is the enclosing element of the
+ corresponding specific type.
+[Editor's note: I don't understand the last sentence; I copied it from AI05-0071-1
+as these should be the same. This is a primitive subprogram of some sort, which
+I would have expected to be enclosed by a package declaration that also contains
+the type declaration, not some type. If we need to fix one of these sentences,
+we also need to fix the other.]
!topic Should AI05-0071 allow renaming subprograms?
Questions? Ask the ACAA Technical Agent