CVS difference for ai05s/ai05-0157-1.txt
--- ai05s/ai05-0157-1.txt 2009/12/29 05:02:48 1.5
+++ ai05s/ai05-0157-1.txt 2010/06/08 05:16:55 1.6
@@ -1,4 +1,4 @@
-!standard 4.8(5.3/2) 09-12-10 AI05-0157-1/03
+!standard 4.8(5.3/2) 10-06-08 AI05-0157-1/04
!standard 13.11.2(4)
!standard 13.11.2(17)
!class binding interpretation 09-06-02
@@ -12,7 +12,7 @@
!subject Calling Unchecked_Deallocation is illegal for zero-sized pools
!summary
-Calling an instance of Unchecked_Deallocation is illegal if pool is
+Calling an instance of Unchecked_Deallocation is illegal if the pool is
known to have Storage_Size equal to zero.
An instance of Unchecked_Deallocation raises Program_Error if the pool
@@ -107,8 +107,8 @@
(5) Leave calling the instantiation erroneous, but add a permission for
an implementation to reject any program that it can detect would have
erroneous execution. (One wonders if a similar permission should be
-allowed for Bounded Errors.) OTOH, this too could cause trouble for
-any code conditionally compiled. Probably it would be better to follow
+allowed for Bounded Errors.) On the other hand, this too could cause trouble
+for any code conditionally compiled. Probably it would be better to follow
the rule in 1.1.5(6) (which suggests a warning when the compiler can
detect errors).
Questions? Ask the ACAA Technical Agent