CVS difference for ai05s/ai05-0283-1.txt

Differences between 1.2 and version 1.3
Log of other versions for file ai05s/ai05-0283-1.txt

--- ai05s/ai05-0283-1.txt	2011/12/31 02:22:52	1.2
+++ ai05s/ai05-0283-1.txt	2012/03/10 03:01:43	1.3
@@ -1,5 +1,7 @@
-!standard A.12.1(3)                             11-12-30    AI05-0283-1/02
+!standard A.12.1(3)                             12-03-09    AI05-0283-1/03
 !class Amendment 11-11-08
+!status Amendment 2012 12-03-09
+!status ARG Approved 9-0-1  12-02-24
 !status work item 11-11-08
 !status received 11-09-28
 !priority Low
@@ -7,7 +9,7 @@
 !subject Stream_IO should be preelaborated
 !summary
 
-Ada.Stream_IO is be preelaborated.
+Ada.Stream_IO is preelaborated.
 
 !proposal
 
@@ -16,13 +18,23 @@
 
 !wording
 
-Add pragma Preelaborate (Stream_IO) to A.12.1(3).
+Add pragma Preelaborate(Stream_IO) to A.12.1(3).
 
 !discussion
 
 We polled Ada implementers, and none of the implementers responding noted any
 significant problems with this change. Respondents were: AdaCore (GNAT),
 Sofcheck (AdaMagic), RR Software (Janus/Ada), DDCI (SCORE Ada), and Irvine.
+
+!corrigendum A.12.1(3)
+
+@drepl
+@xcode<@b<with> Ada.IO_Exceptions;
+@b<package> Ada.Streams.Stream_IO @b<is>>
+@dby
+@xcode<@b<with> Ada.IO_Exceptions;
+@b<package> Ada.Streams.Stream_IO @b<is>
+    @b<pragma> Preelaborate(Stream_IO);>
 
 !ACATS test
 

Questions? Ask the ACAA Technical Agent