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

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

--- ai12s/ai12-0169-1.txt	2015/06/18 02:03:56	1.1
+++ ai12s/ai12-0169-1.txt	2015/07/09 01:04:37	1.2
@@ -1,5 +1,6 @@
-!standard 9.5.2(5)                                    15-06-17  AI05-0169-1/01
+!standard 9.5.2(5)                                    15-07-08  AI05-0169-1/02
 !class binding interpretation 15-06-17
+!status ARG Approved 7-0-2  15-06-26
 !status work item 15-06-17
 !status received 15-06-05
 !priority Low
@@ -77,11 +78,9 @@
 semantics) after a bunch of implementation-defined glop (which is
 not part of the Ada semantics) seems like an inversion.
-[Editor's note: Of course this isn't a big deal, I just find that I agree
-with J-P on this topic. And unlike null procedures and expression functions
-(where the importance of "is null" and the like is clearly higher than any
-aspect specification), it seems that all of the arguments point to putting
-it directly before the IS.]
+The full ARG was split exactly down the middle on this, and as we have to do
+something, we left the original proposal as it was (it was reputed to be better
+for SPARK this way).

Questions? Ask the ACAA Technical Agent