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

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

--- ai12s/ai12-0233-1.txt	2017/11/30 04:18:02	1.7
+++ ai12s/ai12-0233-1.txt	2018/04/14 03:36:12	1.8
@@ -1,4 +1,4 @@
-!standard 6.1.1(38/4)                                  17-11-17  AI12-0233-1/04
+!standard 6.1.1(38/4)                                  18-04-13  AI12-0233-1/05
 !class ramification 17-10-12
 !status ARG Approved 6-0-2  17-10-13
 !status work item 17-06-09
@@ -106,8 +106,8 @@
 of requiring some preconditions to be checked twice as in AI12-0195-1. So it
 makes sense that we would do so here as well.
 
-Assuming we continue that principle, the only other alternative is to make
-the subprogram declaration illegal (since the declaration is implicit, so
+Assuming we continue that principle, the only alternative is to make the
+subprogram declaration illegal (since the declaration is implicit, so
 such a rule really affects the type declaration). That would be incompatible,
 but only at the margins (only for routines with non-trivial preconditions
 that are overriding). We have chosen the compatible approach for now; a

Questions? Ask the ACAA Technical Agent