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

Differences between 1.8 and version 1.9
Log of other versions for file ai12s/ai12-0170-1.txt

--- ai12s/ai12-0170-1.txt	2016/07/22 04:34:05	1.8
+++ ai12s/ai12-0170-1.txt	2016/10/03 03:57:29	1.9
@@ -1,5 +1,6 @@
-!standard 3.9.3(7)                                   16-07-21  AI12-0170-1/04
+!standard 3.9.3(7)                                   16-10-02  AI12-0170-1/05
 !standard 6.1.1(7/4)
+!standard 6.1.1(18/4)
 !standard 6.1.1(18.2/4)
 !class binding interpretation 15-06-17
 !status Amendment 1-2012 16-07-21
@@ -12,7 +13,7 @@
 !subject Abstract subprogram calls in class-wide precondition expressions
 !summary
 
-Rules are largely OK as is, but we clarify that the notional type NT is
+The rules are largely OK as is, but we clarify that the notional type NT is
 non-abstract, and the check on the corresponding expression is performed
 for the original type itself, provided the original subprogram is
 non-abstract.
@@ -32,7 +33,8 @@
 
 Does the call to F1 violate the rule against non-dispatching calls to abstract
 subprograms?
-  (No, because aspect re-interpreted using notional, non-abstract descendant)
+  (No, because the aspect is re-interpreted using a notional, non-abstract
+  descendant.)
 
 Recall that any type is a descendant of itself.
 

Questions? Ask the ACAA Technical Agent