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

--- ai12s/ai12-0313-1.txt	2020/11/03 07:17:55	1.6
+++ ai12s/ai12-0313-1.txt	2021/03/14 11:35:12	1.7
@@ -1,5 +1,6 @@
-!standard 0.3(6/3)                                     20-11-02  AI12-0313-1/05
+!standard 0.3(6/3)                                     21-03-08  AI12-0313-1/06
 !standard 0.3(10)
+!standard 0.3(31)
 !standard 0.3(41/2)
 !standard 0.3(57.1/3)
 !standard 0.3(57.2/3)
@@ -77,6 +78,14 @@
   introduced to simplify making safe and efficient use of modern
   multicore architectures.}
 
+In Language Summary, Data Types:
+
+Modify Intro(31):
+  Every object in the language has a type, which characterizes a set of values 
+  and a set of applicable operations. The main {categories}[classes] of types
+  are elementary types (comprising enumeration, numeric, and access types)
+  and composite types (including array and record types).
+
 In Language Summary, Other Facilities:
 
 Add after paragraph Intro(41/2):
@@ -115,8 +124,8 @@
 
   - The behavior of many predefined container operations is now more
     precisely specified by using pre- and postcondition specifications
-    instead of English descriptions; a stable view for most containers is
-    introduced to support more efficient iteration. 
+    instead of English descriptions; a restricted ("stable") view for most
+    containers is introduced to support more efficient iteration. 
 
   - More flexible uses of static expressions are supported via the
     introduction of static expression functions along with fewer
@@ -127,7 +136,7 @@
     the value of the Image attribute for a user-defined type.
 
   - The use of numeric and string literals is generalized to allow their use
-    with other sorts of types, via the new aspects Integer_Literal, 
+    with other categories of types, via the new aspects Integer_Literal, 
     Real_Literal, and String_Literal.
 
   - Array and record aggregates are made more flexible: index parameters
@@ -145,8 +154,8 @@
     value.
 
   - "Declare" expressions are provided that permit the definition and
-    use of local constants or renamings, to allow an expression used
-    within an aspect specification to be more concise and readable.
+    use of local constants or renamings, to allow a large expression to be 
+    simplified by defining common parts as named entities.
 
   - Support for lightweight iteration is added via the introduction of
     procedural iterators.
@@ -240,6 +249,20 @@
 introduced to simplify making safe and efficient use of modern
 multicore architectures.
 
+!corrigendum 0.3(31)
+
+@drepl
+Every object in the language has a type, which characterizes a set of values 
+and a set of applicable operations. The main classes of types are elementary 
+types (comprising enumeration, numeric, and access types) and composite types
+(including array and record types).
+@dby
+Every object in the language has a type, which characterizes a set of values 
+and a set of applicable operations. The main categories of types are elementary 
+types (comprising enumeration, numeric, and access types) and composite types
+(including array and record types).
+
+
 !corrigendum 0.3(41/2)
 
 @dinsa
@@ -271,7 +294,7 @@
 programs, interfacing to other languages, and both the object-oriented and 
 real-time capabilities.
 @dby
-This International Standard replaces the third edition of 2012. It modifies
+This Ada Reference Manual replaces the edition of 2012. It modifies
 the previous edition by making changes and additions that improve the 
 capability of the language and the reliability of programs written in the 
 language.
@@ -333,8 +356,8 @@
 @dby
 @xbullet<The behavior of many predefined container operations is now more
 precisely specified by using pre- and postcondition specifications
-instead of English descriptions; a stable view for most containers is
-introduced to support more efficient iteration.>
+instead of English descriptions; a restricted ("stable") view for most 
+containers is introduced to support more efficient iteration.>
 
 !corrigendum 0.3(57.7/3)
 
@@ -381,7 +404,7 @@
 control over the suppression of checks. See subclauses 6.1, 11.4.2, and 11.5.>
 @dby
 @xbullet<The use of numeric and string literals is generalized to allow their
-use with other sorts of types, via the new aspects Integer_Literal, 
+use with other categories of types, via the new aspects Integer_Literal, 
 Real_Literal, and String_Literal.>
 
 @xbullet<Array and record aggregates are made more flexible: index parameters
@@ -398,8 +421,8 @@
 target of an assignment statement in the expression defining its new value.>
 
 @xbullet<Declare expressions are provided that permit the definition and
-use of local constants or renamings, to allow an expression used
-within an aspect specification to be more concise and readable.>
+use of local constants or renamings, to allow a large expression 
+to be simplified by defining common parts as named entities.>
 
 @xbullet<Support for lightweight iteration is added via the introduction of
 procedural iterators.>
@@ -533,3 +556,21 @@
 
 ****************************************************************
 
+From an informal review of the Introduction by John Barnes, March 7, 2021.
+
+31   says “classes of types”. Maybe change that to categories of types. Not to 
+be confused with the technical term classes. I changed my book to say 
+categories in 2005
+
+57.6/5   a stable view seems a bit technical. Sounds horsey. Maybe
+just say a view of  or ???
+
+57.11/5                “sorts of types” maybe categories 
+
+57.15/5                not only in aspect specifications.
+ But could just say ". to allow an expression to be both more concise 
+and readable"
+
+[These changes were made as editorial review fixes to this AI. - Editor.]
+
+****************************************************************