CVS difference for ai12s/ai12-0049-1.txt
--- ai12s/ai12-0049-1.txt 2013/01/04 04:38:04 1.3
+++ ai12s/ai12-0049-1.txt 2013/05/09 01:39:14 1.4
@@ -1,4 +1,4 @@
-!standard 7.3.2(10/3) 12-12-27 AI12-0049-1/02
+!standard 7.3.2(10/3) 13-05-08 AI12-0049-1/03
!class binding interpretation 12-12-03
!status Amendment 202x 12-12-27
!status ARG Approved 9-0-1 12-12-07
@@ -26,7 +26,7 @@
Zero violates the invariant, but this will not be detected because there is no
-rule in the Standard that this should be checked.
+rule in the Standard that says this should be checked.
Should this be fixed? (Yes.)
@@ -46,7 +46,8 @@
We want every value that can "escape" from the visible part of the package
-to have the invariant checked. There certainly shouldn't be any easy end-runs.
+to have the invariant checked. There certainly shouldn't be any easy end runs around
This wording seems more complicated than necessary, but a number of considerations
Questions? Ask the ACAA Technical Agent