CVS difference for ais/ai-00442.txt

--- ais/ai-00442.txt	2005/10/31 05:14:32	1.1
+++ ais/ai-00442.txt	2005/12/15 02:44:22	1.2
@@ -1,4 +1,4 @@
-!standard  3.2   (02)                                  05-10-25  AI95-00442/01
+!standard  3.2   (02)                                  05-11-22  AI95-00442/02
 !standard  3.2   (10)
 !standard  3.2   (11)
 !standard  3.2   (13)
@@ -15,7 +15,7 @@
 !standard 12.5.5 (01)
 !class amendment 05-10-25
 !status Amendment 200Y 05-10-25
-!comment This AI is not yet approved, but is included in the Amendment.
+!status ARG Approved  5-0-3  05-11-19
 !status work item 05-10-25
 !status received 05-10-24
 !priority High
@@ -81,20 +81,20 @@
 
 Change 3.2(13) to:
    There are other categories, such as "numeric" and "discriminated",
-   which represent other classification dimensions, but do not fit
+   which represent other categorization dimensions, but do not fit
    into the above strictly hierarchical picture.
 
-Add to the end of 3.4(1):
+Add a new paragraph after 3.4(1):
 
-    ... A *class* of types is a set of types that is closed under
+    A *class* of types is a set of types that is closed under
     derivation; that is, if the parent or a progenitor type of a
     derived type belongs to a class, then so does the derived type.
     By saying that a particular group of types forms a class,
-    we are saying that all derivatives of such a type inherit
-    the characteristics that define that class.  The
+    we are saying that all derivatives of a type in the set inherit
+    the characteristics that define that set.  The
     more general term *category of types* is used for a set of types
     whose defining characteristics are not necessarily inherited by
-    derivatives; limited, abstract, and interface are all
+    derivatives; for example, limited, abstract, and interface are all
     categories of types, but not classes of types.
 
 Change 3.4(8) to:
@@ -183,24 +183,27 @@
 
 @drepl
 Types are grouped into @i<classes> of types, reflecting the similarity of their
-values and primitive operations. There exist several language-defined
-@i<classes> of types (see NOTES below). Elementary types are those whose values
-are logically indivisible; composite types are
-those whose values are composed of component values.
-@dby
-Types are grouped into @i<categories> of types.There exist several language-defined
-@i<categories> of types (see NOTES below), relecting the similarity of their
+values and primitive operations. There exist several
+@i<language-defined classes> of types (see NOTES below).
+@i<Elementary> types are those whose values
+are logically indivisible; @i<composite> types are
+those whose values are composed of @i<component> values.
+@dby
+Types are grouped into @i<categories> of types. There exist several
+@i<language-defined categories> of types (see NOTES below),
+relecting the similarity of their
 values and primitive operations. Most categories of types form @i<classes> of
-types. Elementary types are those whose values
-are logically indivisible; composite types are
-those whose values are composed of component values.
+types. @i<Elementary> types are those whose values
+are logically indivisible; @i<composite> types are
+those whose values are composed of @i<component> values.
 
 !corrigendum 3.2(10)
 
 @drepl
 @xindent<@s9<2  Any set of types that is closed under derivation (see 3.4) can be
 called a "class" of types. However, only certain classes are used in the
-description of the rules of the language - generally those that have their own
+description of the rules of the language @emdash
+generally those that have their own
 particular set of primitive operations (see 3.2.3), or that correspond to a set
 of types that are matched by a given kind of generic formal type (see 12.5).
 The following are examples of "interesting" @i<language-defined classes>:
@@ -214,7 +217,8 @@
 @xindent<@s9<2  Any set of types can be called a "category" of types, and any
 set of types that is closed under derivation (see 3.4) can be
 called a "class" of types. However, only certain categories and classes are
-used in the description of the rules of the language - generally those that
+used in the description of the rules of the language @emdash
+generally those that
 have their own particular set of primitive operations (see 3.2.3), or that
 correspond to a set of types that are matched by a given kind of generic formal
 type (see 12.5). The following are examples of "interesting"
@@ -242,7 +246,7 @@
 picture.>>
 @dby
 @xindent<@s9<There are other categories, such as "numeric" and "discriminated",
-which represent other classification dimensions, but do not fit
+which represent other categorization dimensions, but do not fit
 into the above strictly hierarchical picture.>>
 
 !corrigendum 3.4(1)
@@ -259,11 +263,11 @@
 derivation; that is, if the parent or a progenitor type of a
 derived type belongs to a class, then so does the derived type.
 By saying that a particular group of types forms a class,
-we are saying that all derivatives of such a type inherit
-the characteristics that define that class. The
+we are saying that all derivatives of a type in the set inherit
+the characteristics that define that set. The
 more general term @i<category of types> is used for a set of types
 whose defining characteristics are not necessarily inherited by
-derivatives; limited, abstract, and interface are all
+derivatives; for example, limited, abstract, and interface are all
 categories of types, but not classes of types.
 
 !corrigendum 3.4(8)
@@ -377,7 +381,7 @@
 @i<Type Definition>@ @tab@i<Determined Category>@hr@hr
 @b<limited private>@ @tabthe category of all types@hr
 @b<private>@ @tabthe category of all nonlimited types@hr
-@b<tagged limited private>@ @tabthe category of tagged types@hr
+@b<tagged limited private>@ @tabthe category of all tagged types@hr
 @b<tagged private>@ @tabthe category of all nonlimited tagged types
 
 !corrigendum 12.5.1(24)