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
+
+****************************************************************
Questions? Ask the ACAA Technical Agent