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

--- ai12s/ai12-0417-1.txt	2021/03/03 08:52:48	1.6
+++ ai12s/ai12-0417-1.txt	2021/03/09 05:15:11	1.7
@@ -1,4 +1,5 @@
-!standard 7.2(4)                                       21-03-02  AI12-0417-1/03
+!standard 2.8(29/3)                                      21-03-08  AI12-0417-1/04
+!standard 7.2(4)
 !standard 10.1.5(1)
 !standard 10.1.5(2)
 !standard 10.1.5(3)
@@ -78,6 +79,16 @@
 
 !wording
 
+Replace 2.8(29/3) with:
+
+   pragma List(Off); -- turn off listing generation
+   pragma Optimize(Off); -- turn off optional optimizations
+   pragma Assertion_Policy(Check); -- check assertions
+   pragma Assert(Exists(File_Name),
+                 Message => "Nonexistent file"); -- assert file exists
+
+[Editor's note: Remove obsolescent pragma from example.]
+
 Modify 7.2(4):
 
 A package_body shall be the completion of a previous package_declaration
@@ -526,6 +537,21 @@
 does not even need to change the implementation of that restriction (it can 
 if it wants, of course).
 
+!corrigendum 2.8(29/3)
+
+@drepl
+@xcode<@b<pragma> List(Off); -- @ft<@i<turn off listing generation>>
+@b<pragma> Optimize(Off); -- @ft<@i<turn off optional optimizations>>
+@b<pragma> Pure(Rational_Numbers); -- @ft<@i<set categorization for package>>
+@b<pragma> Assert(Exists(File_Name),
+              Message =@> "Nonexistent file"); -- @ft<@i<assert file exists>>>
+@dby
+@xcode<@b<pragma> List(Off); -- @ft<@i<turn off listing generation>>
+@b<pragma> Optimize(Off); -- @ft<@i<turn off optional optimizations>>
+@b<pragma> Assertion_Policy(Check); -- @ft<@i<check assertions>>
+@b<pragma> Assert(Exists(File_Name),
+              Message =@> "Nonexistent file"); -- @ft<@i<assert file exists>>>
+
 !corrigendum 7.2(4)
 
 @drepl
@@ -1175,3 +1201,9 @@
 
 ****************************************************************
 
+From an informal review of the RM by John Barnes, March 7, 2021.
+
+2.8  29/3   maybe a good idea not to use obsolete features in examples, that 
+is pragma Pure  or add comment saying obsolete
+
+****************************************************************