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

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

--- ai12s/ai12-0102-1.txt	2014/05/13 01:35:57	1.1
+++ ai12s/ai12-0102-1.txt	2014/07/12 02:32:42	1.2
@@ -1,5 +1,7 @@
 !standard A.12.1(5)                                    14-05-12  AI05-0102-1/01
 !class binding interpretation 14-05-12
+!status Corrigendum 2015 14-07-11
+!status ARG Approved 9-0-0  13-06-27
 !status work item 14-05-12
 !status received 14-04-18
 !priority Low
@@ -75,6 +77,14 @@
 
 So we declare Ada.Stream_IO.File_Type to have P_I.
 
+!corrigendum A.12.1(5)
+
+@drepl
+@xcode<    @b<type> File_Type @b<is limited private>;>
+@dby
+@xcode<    @b<type> File_Type @b<is limited private>;
+    @b<pragma> Preelaborable_Initialization(File_Type);>
+
 !ASIS
 
 No ASIS effect.
@@ -82,7 +92,7 @@
 !ACATS test
 
 An ACATS C-Test could try this (indeed, the original version of CXAC007 failed
-for this reason on at least one compilers). A modified version of CXAC007 would
+for this reason on at least one compiler). A modified version of CXAC007 would
 be sufficient.
 
 !appendix
@@ -130,7 +140,7 @@
 
 We can't really invoke the Dewar rule here, as it is perfectly legal and
 reasonable to declare the file objects as parameters or as local to some 
-ubprogram in a preelaborated package. Indeed, a library-level file object is
+subprogram in a preelaborated package. Indeed, a library-level file object is
 pretty rare in my code, while I have a lot of local file objects. So the
 package is plenty usable without being able to declare a library-level file
 object in a preelaborated package.

Questions? Ask the ACAA Technical Agent