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

--- ai05s/ai05-0092-1.txt	2008/10/25 04:53:14	1.5
+++ ai05s/ai05-0092-1.txt	2009/04/30 06:19:47	1.6
@@ -1,4 +1,4 @@
-!standard  3.3.1(20.4/2)                                08-10-06  AI05-0092-1/04
+!standard  3.3.1(20.4/2)                                09-04-27  AI05-0092-1/05
 !standard  3.9(25.1/2)
 !standard  6.3.1(21.1/2)
 !standard  9.6(22)
@@ -7,6 +7,7 @@
 !standard 13.13.2(56/2)
 !standard A.11(4/2)
 !standard A.11(5/2)
+!standard A.16(68/2)
 !standard G.2.2(11)
 !class presentation 08-03-05
 !status work item 06-03-05
@@ -42,6 +43,8 @@
 
 10) Replace "_statement" with "statement".
 
+11) Add a default of "" to the Form parameter.
+
 !question
 
 1) Generally, "must" shall not be used in normative rules of the standard. However,
@@ -70,6 +73,9 @@
 10) 9.6(22) includes "_statement"; this fragment is unseemly. Should this be replaced
 by "statement"? (Yes.)
 
+11) A.16(13/2) includes a default of "" for the Form parameter, but A.16(68/2) does
+not. Should A.16(68/2) have a default for the Form parameter? (Yes.)
+
 [Other questions here.]
 
 !recommendation
@@ -100,6 +106,8 @@
 
 10) Replace "_statement" with "statement" in 9.6(22).
 
+11) Replace "Form : in String);" with "Form : in String := "");" in A.16(68/2).
+
 !discussion
 
 1) 3.3.1(20.4/2) uses "must precede", while 3.3.1(20.1-3/2) use "is preceded by".
@@ -135,6 +143,9 @@
 would seem redundant (there are two other occurrences of delay_statement in the
 paragraph).
 
+11) Clearly the specifications given in A.16(13/2) and A.16(68/2) should match.
+Since Form parameters generally default to "", we believe that A.16(13/2) is
+correct and change A.16(68/2) to match.
 
 !corrigendum 3.3.1(20.4/2)
 
@@ -294,6 +305,17 @@
 Text_IO.Unbounded_IO, except that any occurrence of Unbounded_String is
 replaced by Unbounded_Wide_Wide_String, and any occurrence of package Unbounded
 is replaced by Wide_Wide_Unbounded.
+
+!corrigendum A.16(68/2)
+
+@drepl
+@xcode<@b<procedure> Copy_File (Source_Name,
+                     Target_Name : @b<in> String;
+                     Form        : @b<in> String);>
+@dby
+@xcode<@b<procedure> Copy_File (Source_Name,
+                     Target_Name : @b<in> String;
+                     Form        : @b<in> String := "");>
 
 !corrigendum G.2.2(11)