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

Differences between 1.3 and version 1.4
Log of other versions for file 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 @@
 end R;
 
 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 @@
 !discussion
 
 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
+the checking.
 
 This wording seems more complicated than necessary, but a number of considerations
 arise.

Questions? Ask the ACAA Technical Agent