CVS difference for 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