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

Differences between 1.3 and version 1.4
Log of other versions for file ai12s/ai12-0021-1.txt

--- ai12s/ai12-0021-1.txt	2018/12/06 00:14:55	1.3
+++ ai12s/ai12-0021-1.txt	2018/12/06 00:47:18	1.4
@@ -1,4 +1,4 @@
-!standard 11.4.1(19)                                 18-10-29    AI12-0021-1/02
+!standard 11.4.1(19)                                 18-11-13    AI12-0021-1/03
 !standard A.8.1(15)
 !standard A.8.2(1)
 !standard A.8.2(29)
@@ -19,9 +19,8 @@
 !subject Additional internationalization of Ada
 !summary
 
-Support is added for the use of the entire set of characters from ISO/IEC
-10646:2017 for file and directory names by the operations of the Annex A
-facilities.
+Add support for the use of the entire set of characters from ISO/IEC 10646:2017
+for file and directory names by the operations of the Annex A facilities.
 
 !proposal
 
@@ -40,8 +39,8 @@
 
 Add after 11.4.1(19):
 
-It is recommended that UTF-8 encoding be used for encoding exception messages
-that require non-ASCII characters.
+It is recommended that exception messages requiring non-ASCII use UTF-8
+encoding.
 
 Add after A.8.1(15):
 
@@ -72,7 +71,7 @@
    -- File management
 
    procedure Create(File : in out File_Type;
-                    Mode : in File_Mode := Out_File;
+                    Mode : in File_Mode := InOut_File;
                     Name : in Wide_Wide_String := "";
                     Form : in Wide_Wide_String := "");
 
@@ -99,15 +98,16 @@
 
 Add at the end of A.8.2:
 
-The nested package Wide_File_Names provides operations that are the equivalent
-of those for regular Sequential_IO except that Wide_String is used instead of
-String for the name and form of the external file.
+The nested package Wide_File_Names provides operations equivalent to those in
+regular Sequential_IO except that Wide_String is used instead of String for the
+name and form of the external file.
 
-The nested package Wide_Wide_File_Names provides operations that are the
-equivalent of those for regular Sequential_IO except that Wide_Wide_String is
-used instead of String for the name and form of the external file.
+The nested package Wide_Wide_File_Names provides operations equivalent to those
+in regular Sequential_IO except that Wide_Wide_String is used instead of String
+for the name and form of the external file.
 
 
+
 Add after A.8.4(18):
 
 ... -- Enclosing package Ada.Direct_IO
@@ -117,7 +117,7 @@
    -- File management
 
    procedure Create(File : in out File_Type;
-                    Mode : in File_Mode := InOut_File;
+                    Mode : in File_Mode := Inout_File;
                     Name : in Wide_String := "";
                     Form : in Wide_String := "");
 
@@ -171,20 +171,20 @@
 package Wide_File_Names is
 
    -- File management
-
-   procedure Create(File : in out File_Type;
-                    Mode : in File_Mode := Out_File;
-                    Name : in Wide_String := "";
-                    Form : in Wide_String := "");
 
-   procedure Open  (File : in out File_Type;
-                    Mode : in File_Mode;
-                    Name : in Wide_String;
-                    Form : in Wide_String := "");
+   procedure Create (File : in out File_Type;
+                     Mode : in File_Mode := Out_File;
+                     Name : in Wide_String := "";
+                     Form : in Wide_String := "");
+
+   procedure Open   (File : in out File_Type;
+                     Mode : in File_Mode;
+                     Name : in Wide_String;
+                     Form : in Wide_String := "");
 
-   function Name   (File : in File_Type) return Wide_String;
+   function Name    (File : in File_Type) return Wide_String;
 
-   function Form   (File : in File_Type) return Wide_String;
+   function Form    (File : in File_Type) return Wide_String;
 
 end Wide_File_Names;
 
@@ -192,33 +192,33 @@
 
    -- File management
 
-   procedure Create(File : in out File_Type;
-                    Mode : in File_Mode := Out_File;
-                    Name : in Wide_Wide_String := "";
-                    Form : in Wide_Wide_String := "");
-
-   procedure Open  (File : in out File_Type;
-                    Mode : in File_Mode;
-                    Name : in Wide_Wide_String;
-                    Form : in Wide_Wide_String := "");
+   procedure Create (File : in out File_Type;
+                     Mode : in File_Mode := Out_File;
+                     Name : in Wide_Wide_String := "";
+                     Form : in Wide_Wide_String := "");
+
+   procedure Open   (File : in out File_Type;
+                     Mode : in File_Mode;
+                     Name : in Wide_Wide_String;
+                     Form : in Wide_Wide_String := "");
 
-   function Name   (File : in File_Type) return Wide_Wide_String;
+   function Name    (File : in File_Type) return Wide_Wide_String;
 
-   function Form   (File : in File_Type) return Wide_Wide_String;
+   function Form    (File : in File_Type) return Wide_Wide_String;
 
 end Wide_Wide_File_Names;
 
 
 Add at the end of A.10.2:
 
-The nested package Wide_File_Names provides operations that are the equivalent
-of those for regular Text_IO except that Wide_String is used instead of String
-for the name and form of the external file.
+The nested package Wide_File_Names provides operations equivalent to those in
+regular Text_IO except that Wide_String is used instead of String for the name
+and form of the external file.
+
+The nested package Wide_Wide_File_Names provides operations equivalent to those
+in regular Text_IO except that Wide_Wide_String is used instead of String for
+the name and form of the external file.
 
-The nested package Wide_Wide_File_Names provides operations that are the
-equivalent of those for regular Text_IO except that Wide_Wide_String is used
-instead of String for the name and form of the external file.
-
 
 Add after A.12.1(26):
 
@@ -227,20 +227,20 @@
 package Wide_File_Names is
 
    -- File management
-
-   procedure Create(File : in out File_Type;
-                    Mode : in File_Mode := Out_File;
-                    Name : in Wide_String := "";
-                    Form : in Wide_String := "");
 
-   procedure Open  (File : in out File_Type;
-                    Mode : in File_Mode;
-                    Name : in Wide_String;
-                    Form : in Wide_String := "");
+   procedure Create (File : in out File_Type;
+                     Mode : in File_Mode := Inout_File;
+                     Name : in Wide_String := "";
+                     Form : in Wide_String := "");
+
+   procedure Open   (File : in out File_Type;
+                     Mode : in File_Mode;
+                     Name : in Wide_String;
+                     Form : in Wide_String := "");
 
-   function Name   (File : in File_Type) return Wide_String;
+   function Name    (File : in File_Type) return Wide_String;
 
-   function Form   (File : in File_Type) return Wide_String;
+   function Form    (File : in File_Type) return Wide_String;
 
 end Wide_File_Names;
 
@@ -248,33 +248,33 @@
 
    -- File management
 
-   procedure Create(File : in out File_Type;
-                    Mode : in File_Mode := Out_File;
-                    Name : in Wide_Wide_String := "";
-                    Form : in Wide_Wide_String := "");
-
-   procedure Open  (File : in out File_Type;
-                    Mode : in File_Mode;
-                    Name : in Wide_Wide_String;
-                    Form : in Wide_Wide_String := "");
+   procedure Create (File : in out File_Type;
+                     Mode : in File_Mode := Inout_File;
+                     Name : in Wide_Wide_String := "";
+                     Form : in Wide_Wide_String := "");
+
+   procedure Open   (File : in out File_Type;
+                     Mode : in File_Mode;
+                     Name : in Wide_Wide_String;
+                     Form : in Wide_Wide_String := "");
 
-   function Name   (File : in File_Type) return Wide_Wide_String;
+   function Name    (File : in File_Type) return Wide_Wide_String;
 
-   function Form   (File : in File_Type) return Wide_Wide_String;
+   function Form    (File : in File_Type) return Wide_Wide_String;
 
 end Wide_Wide_File_Names;
 
 
 Add after A.12.1(33):
 
-The nested package Wide_File_Names provides operations that are the equivalent
-of those for regular Stream_IO except that Wide_String is used instead of String
-for the name and form of the external file.
+The nested package Wide_File_Names provides operations equivalent to those in
+regular Stream_IO except that Wide_String is used instead of String for the name
+and form of the external file.
+
+The nested package Wide_Wide_File_Names provides operations equivalent to those
+in regular Stream_IO except that Wide_Wide_String is used instead of String for
+the name and form of the external file.
 
-The nested package Wide_Wide_File_Names provides operations that are the
-equivalent of those for regular Stream_IO except that Wide_Wide_String is used
-instead of String for the name and form of the external file.
-
 
 Add section A.15.1:
 
@@ -293,7 +293,6 @@
 Command_Line, except that each occurrence of String is replaced by
 Wide_Wide_String.
 
-
 Add section A.16.2:
 
 A.16.2 The Packages Wide_Directories and Wide_Wide_Directories
@@ -753,6 +752,56 @@
 names will always be implementation-defined. The problem now is that we don't
 have any sane way to *allow* it -- there will never be a *requirement* to
 support it.
+
+****************************************************************
+
+From: Justin Squirek
+Sent: Tuesday, November 13, 2018  1:29 PM
+
+Hey Jeff, I made some very minor wording edits. [This is version /03 of the
+AI -Editor.]
+
+****************************************************************
+
+From: Randy Brukardt
+Sent: Wednesday, December 5, 2018  6:47 PM
+
+Here are some editorial comments on this:
+
+(1) I realize you're new here, Justin, but when wording says "modify" some
+paragraph, the changes have to be marked with {} for insertions and [] for
+deletions. This is the preferred form, because it makes my job easier and it is
+easier to see the changes. Otherwise, you need to use "Replace".
+
+In any case, you are not supposed to remove those marks from Jeff's version, nor
+are you allowed to change existing wording without showing the changes.
+
+Moreover, why would anyone change "declarations are repeated" to "declarations
+get repeated"? There's nothing wrong with the first wording, and we don't change
+existing wording just because someone would like a different verb.
+
+I've ignored this change completely.
+
+(2) You changed the spacing of the various packages. Jeff copied the spacing of
+the original IO Sequential_IO and Direct_IO  packages exactly. I'd agree that
+the original spacing is suboptimal, but when putting new things directly next to
+old things, we generally copy the original style, rather than invent a new one.
+(With RM wording, context is important.) So I left the spacing as Jeff had it.
+
+OTOH, Jeff got the spacing wrong for Text_IO and Stream_IO (these are the better
+spacing). So I did use your changes there. (Don't you love consistency???)
+
+(3) You changed the default mode for Create to "InOut_File" for most of these
+packages. Jeff did have the wrong for Direct_IO and Stream_IO, but you have it
+spelled wrong (the 'o' should be in lower case). And you added it to Text_IO,
+but Text_IO doesn't even have that mode. Another change I ignored.
+
+(4) In A.15.1, Jeff has "is the same as", which you changed to "identical". Jeff
+is just copying the style of the existing similar wording, and it is not a good
+idea to use a different form (recall the issues that I previously noted about
+consistency?) We also try to avoid words like "identical" and "equivalent"
+because it is rarely true. "identical except blah" is *not* identical, after
+all! I left the wording Jeff had.
 
 ****************************************************************
 

Questions? Ask the ACAA Technical Agent