CVS difference for ais/ai-00366.txt

--- ais/ai-00366.txt	2005/02/08 07:12:39	1.14
+++ ais/ai-00366.txt	2005/06/16 23:47:35	1.15
@@ -1,4 +1,4 @@
-!standard 10.2.1(16)                                  04-01-17  AI95-00366/08
+!standard 10.2.1(16)                                  05-06-08  AI95-00366/09
 !standard 3.2(6)
 !standard 3.8(9)
 !standard 10.2.1(17)
@@ -105,10 +105,10 @@
     pragma Pure applies to a library unit, then its compilation units
     shall be pure, and they shall depend semantically only on compilation
     units of other library units that are declared pure.
-    Furthermore, the full view of any private type declared in the visible
-    part of the library unit shall support external streaming (see 13.13.2).
+    Furthermore, the full view of any nonlimited partial view declared in the
+    visible part of the library unit shall support external streaming (see
+    13.13.2).
 
-
 Replace 10.2.1(18)
 
     If a library unit is declared pure, then the implementation is
@@ -281,16 +281,16 @@
 !corrigendum 3.2(6)
 
 @drepl
-The term @fa<subcomponent> is used in this International Standard in place of
+The term @i<subcomponent> is used in this International Standard in place of
 the term component to indicate either a component, or a component of another
 subcomponent. Where other subcomponents are excluded, the term component is
-used instead. Similarly, a @fa<part> of an object or value is used to mean the
+used instead. Similarly, a @i<part> of an object or value is used to mean the
 whole object or value, or any set of its subcomponents.
 @dby
-The term @fa<subcomponent> is used in this International Standard in place of
+The term @i<subcomponent> is used in this International Standard in place of
 the term component to indicate either a component, or a component of another
 subcomponent. Where other subcomponents are excluded, the term component is
-used instead. Similarly, a @fa<part> of an object or value is used to mean the
+used instead. Similarly, a @i<part> of an object or value is used to mean the
 whole object or value, or any set of its subcomponents.
 The terms component, subcomponent, and part are also applied to a type
 meaning the component, subcomponent, or part of objects and values of the type.
@@ -313,11 +313,11 @@
 !corrigendum 10.2.1(16)
 
 @drepl
-A pure @fa<library_item> is a preelaborable @fa<library_item> that does not
+A @i<pure> @fa<library_item> is a preelaborable @fa<library_item> that does not
 contain the declaration of any variable or named access type, except within a
 subprogram, generic subprogram, task unit, or protected unit.
 @dby
-A pure @fa<library_item> is a preelaborable @fa<library_item> that does not
+A @i<pure> @fa<library_item> is a preelaborable @fa<library_item> that does not
 contain the declaration of any variable, or named access-to-object
 type for which the Storage_Size has not been specified by a static
 expression with value zero (0) and is not defined to be zero (0),
@@ -336,8 +336,8 @@
 @fa<pragma> Pure applies to a library unit, then its compilation units shall
 be pure, and they shall depend semantically only on compilation units of other
 library units that are declared pure. Furthermore, the full view of any
-private type declared in the visible part of the library unit shall support
-external streaming (see 13.13.2).
+nonlimited partial view declared in the visible part of the library unit shall
+support external streaming (see 13.13.2).
 
 !corrigendum 10.2.1(18)