CVS difference for ai05s/ai05-0085-1.txt

Differences between 1.2 and version 1.3
Log of other versions for file ai05s/ai05-0085-1.txt

--- ai05s/ai05-0085-1.txt	2008/02/05 06:33:09	1.2
+++ ai05s/ai05-0085-1.txt	2008/03/07 06:15:20	1.3
@@ -1,11 +1,12 @@
-!standard 11.4.2(7/2)                                         08-01-21    AI05-0085-1/01
+!standard 11.4.2(7/2)                                         08-02-21    AI05-0085-1/02
 !class binding interpretation 08-01-21
+!status No Action (7-0-2) 08-02-10
 !status work item 08-01-21
 !status received 08-01-10
 !priority Low
 !difficulty Easy
 !qualifier Clarification
-!subject Changing Assertion_Policy in an smaller scope
+!subject Allow Assertion_Policy to apply to a smaller scope
 
 !summary
 
@@ -20,7 +21,7 @@
 
 !recommendation
 
-(See Summary.)
+(See summary.)
 
 !wording
 
@@ -35,10 +36,12 @@
 
 However, this is a somewhat simplistic argument. It would be difficult to turn off
 checking in half of a unit, for instance. (Although it should be noted that pragma
-Suppress don't support that, either.)
+Suppress doesn't support that, either.)
 
-So (conclusion *TBD*).
-
+If there were more kinds of assertions (such a precondition checks), this might
+be more valuable. But in that case, a more capable pragma would be needed
+(so that only particular classes of checks could be turned on or off. So there
+doesn't seem to be enough benefit to making this change.
 
 --!corrigendum 13.9(7)
 

Questions? Ask the ACAA Technical Agent