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

--- ai05s/ai05-0041-1.txt	2008/03/07 06:15:19	1.6
+++ ai05s/ai05-0041-1.txt	2008/05/10 05:14:33	1.7
@@ -1,6 +1,6 @@
-!standard 3.7.1(7/2)                                          08-02-22    AI05-0041-1/06
-!standard 3.3(27.9/3)
-!standard 3.3(27.10/3)
+!standard 3.7.1(7/2)                                          08-04-09    AI05-0041-1/07
+!standard 3.3(23.9/3)
+!standard 3.3(23.10/3)
 !standard 3.10.2(26/3)
 !standard 3.10.2(27.2/2)
 !standard 3.10.2(28)
@@ -12,7 +12,7 @@
 !priority Medium
 !difficulty Hard
 !qualifier Omission
-!subject Can a derived type be a partial view?
+!subject Derived types and partial views
 !summary
 
 For the purposes of the rules for allowing allocated unconstrained objects, any
@@ -171,7 +171,7 @@
  * D shall be discriminated in its full view and unconstrained in any 
    partial view, and the designated subtype of A shall be unconstrained.
    {For the purposes of determining within a generic body whether D is
-   unconstrained in any partial view, a discriminated subtype is is
+   unconstrained in any partial view, a discriminated subtype is
    considered to have a constrained partial view if it is a descendant
    of an untagged generic formal private or derived type.}
 
@@ -228,7 +228,7 @@
 Now T2 seems to have two partial views, one constrained and one
 unconstrained. In this case, the unconstrained partial view is unimportant,
 because the child can see the full view. But that isn't always true (especially
-for nested package).
+for a nested package).
 
 The wording needs to be careful to take cases like the above and like
 
@@ -379,7 +379,7 @@
 @xi2bull<@i<D> shall be discriminated in its full view and unconstrained in any 
 partial view, and the designated subtype of @i<A> shall be unconstrained.
 For the purposes of determining within a generic body whether @i<D> is
-unconstrained in any partial view, a discriminated subtype is is
+unconstrained in any partial view, a discriminated subtype is
 considered to have a constrained partial view if it is a descendant
 of an untagged generic formal private or derived type.
 
@@ -387,12 +387,12 @@
 
 @drepl
 @xbullet<The accessibility level of the view shall not be statically deeper than
-that of the access type A. In addition to the places where Legality Rules
+that of the access type @i<A>. In addition to the places where Legality Rules
 normally apply (see 12.3), this rule applies also in the private part of
 an instance of a generic unit.>
 @dby
 @xbullet<The accessibility level of the view shall not be statically deeper than
-that of the access type A.>
+that of the access type @i<A>.>
 
 In addition to the places where Legality Rules normally apply (see 12.3),
 these requirements apply also in the private part of an instance of a