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

Differences between 1.1 and version 1.2
Log of other versions for file ai12s/ai12-0318-1.txt

--- ai12s/ai12-0318-1.txt	2019/02/23 00:53:39	1.1
+++ ai12s/ai12-0318-1.txt	2019/02/27 03:02:38	1.2
@@ -1,15 +1,18 @@
-!standard H.4(20/2)                                      19-02-22  AI12-0318-1/01
-!standard 13.11.4(21/3)
-!standard 13.11.4(31/3)
+!standard H.4(20/2)                                      19-02-26  AI12-0318-1/02
+!standard H.4(24/3)
 !class binding interpretation 19-02-22
+!status Amendment 1-2012 19-02-26
+!status ARG Approved 10-0-0  19-02-26
 !status work item 19-02-22
 !status received 19-02-14
 !priority Low
 !difficulty Easy
 !qualifier Omission
-!subject No_IO should exclude Ada.Directories 
+!subject No_IO should apply to Ada.Directories 
 !summary
 
+Ada.Directories is added to the list of packages not allowed by restriction 
+No_IO.
 
 !question
 
@@ -42,10 +45,43 @@
 
 !discussion
 
-The second fix is to eliminate obsolescent restrictions from the rule; we 
-generally do not mention Annex J features in the rest of the Standard. Since
-the runtime does not have to be written in Ada anyway, it is only the effect,
-and not the specific restrictions used, that matters.
+The modification to H.4(24/3) is to eliminate obsolescent restrictions from 
+the rule; we generally do not mention Annex J features in the rest of the 
+Standard. Since the runtime does not have to be written in Ada anyway, it is 
+only the effect, and not the specific restrictions used, that matters. Thus
+there is no need to mention the Annex J restrictions here.
+
+The AARM note is explaining the old wording means essentially what the new 
+wording says explicitly, there is no need for it now.
+
+!corrigendum H.4(20/2)
+
+@drepl
+@xhang<@xterm<No_IO>
+Semantic dependence on any of the library units Sequential_IO, Direct_IO,
+Text_IO, Wide_Text_IO, Wide_Wide_Text_IO, or Stream_IO is not allowed.>
+@dby
+@xhang<@xterm<No_IO>
+Semantic dependence on any of the library units Sequential_IO, Direct_IO,
+Text_IO, Wide_Text_IO, Wide_Wide_Text_IO, Stream_IO, or Directories is not 
+allowed.>
+
+!corrigendum H.4(24/3)
+
+@drepl
+If an implementation supports @fa<pragma> Restrictions for a particular 
+argument, then except for the restrictions No_Unchecked_Deallocation, 
+No_Unchecked_Conversion, No_Access_Subprograms, No_Unchecked_Access, 
+No_Specification_of_Aspect, No_Use_of_Attribute, No_Use_of_Pragma, and the 
+equivalent use of No_Dependence, the associated restriction applies to the 
+run-time system. 
+@dby
+If an implementation supports @fa<pragma> Restrictions for a particular 
+argument, then except for the restrictions No_Access_Subprograms, 
+No_Unchecked_Access, No_Specification_of_Aspect, No_Use_of_Attribute, 
+No_Use_of_Pragma, No_Dependence =@> Ada.Unchecked_Conversion, and
+No_Dependence =@> Ada.Unchecked_Deallocation, the associated restriction 
+applies to the run-time system. 
 
 !ASIS
 

Questions? Ask the ACAA Technical Agent