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

Differences between 1.10 and version 1.11
Log of other versions for file ai12s/ai12-0330-1.txt

--- ai12s/ai12-0330-1.txt	2020/12/17 05:22:14	1.10
+++ ai12s/ai12-0330-1.txt	2021/03/14 10:28:38	1.11
@@ -1,4 +1,4 @@
-!standard N(0)                                      20-12-15  AI12-0330-1/06
+!standard N(0)                                      21-03-14  AI12-0330-1/07
 !class Amendment 19-04-05
 !status Amendment 1-2012 19-05-09
 !status ARG Approved 14-0-1  20-12-09
@@ -41,7 +41,7 @@
 Accessibility level
 An accessibility level is a representation of the lifetime of an entity in
 terms of the level of dynamic nesting within which the entity is known to exist.
-Dynamic accessibility checks ensure that a referce does not outlive the entity
+Dynamic accessibility checks ensure that a reference does not outlive the entity
 to which it refers, by checking that the level of the reference is no deeper 
 than the level of the reference. Based on static nesting, there are 
 corresponding legality rules that the level of the entity is not statically
@@ -118,7 +118,7 @@
 To suppress a check is to assert that the check cannot fail, and to request 
 that the compiler optimize by disabling the check. The compiler is not 
 required to honor this request. Suppressing checks that can fail can cause 
-program to behave in arbitrary ways.
+a program to behave in arbitrary ways.
@@ -1453,5 +1453,13 @@
 Sent: Wednesday, December 15, 2020  9:56 PM
 This is roughly what I had in mind, only better. Thanks.
+From an informal RM review from John Barnes (March 8, 2021)
+N(2.1/5)     accessibility level third line has referce should be reference
+N(38.2/5)   suppress   add a thus  ...  can cause a program to behave ...

Questions? Ask the ACAA Technical Agent