CVS difference for 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).
!ASIS
Questions? Ask the ACAA Technical Agent