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

Differences between 1.5 and version 1.6
Log of other versions for file ai12s/ai12-0042-1.txt

--- ai12s/ai12-0042-1.txt	2013/07/18 00:11:33	1.5
+++ ai12s/ai12-0042-1.txt	2013/07/18 00:18:42	1.6
@@ -1,4 +1,4 @@
-!standard 7.3.2(6/3)                                 13-06-15    AI12-0042-1/03
+!standard 7.3.2(6/3)                                 13-06-16    AI12-0042-1/04
 !class binding interpretation 12-11-29
 !status work item 12-11-29
 !status received 12-04-09
@@ -39,12 +39,12 @@
 
 with
 
-   is dynamically callable (i.e. either directly or via a
-   dispatching call) from outside the immediate scope of T.
-   [In other words, that is visible outside of the immediate
-   scope of T or that overrides an operation inherited from one
-   that is dynamically callable from outside of the immediate
-   scope of T.]
+    is *dynamically callable from outside the immediate scope of T*.
+    A subprogram is dynamically callable from outside the immediate
+    scope of T if it is is visible outside of the immediate
+    scope of T or if it overrides an operation inherited from one
+    that is dynamically callable from outside of the immediate
+    scope of T.
 
 !discussion
 
@@ -1283,3 +1283,28 @@
 
 ****************************************************************
 
+From: Steve Baird
+Sent: Sunday, June 16, 2013  4:25 AM
+
+> Cheating here a little, recursively defining a new term without 
+> explicitly saying that that is what I am doing. It seemed the best 
+> way.
+
+Folks didn't like the cheating (understandably).
+So here is a more explicit version:
+
+In 7.3.2(18/3) replace
+
+    is visible outside the immediate scope of type T or overrides
+    an operation that is visible outside the immediate scope of T
+
+with
+
+    is *dynamically callable from outside the immediate scope of T*.
+    A subprogram is dynamically callable from outside the immediate
+    scope of T if it is is visible outside of the immediate
+    scope of T or if it overrides an operation inherited from one
+    that is dynamically callable from outside of the immediate
+    scope of T.
+
+****************************************************************

Questions? Ask the ACAA Technical Agent