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

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

--- ai12s/ai12-0095-1.txt	2014/07/24 04:20:02	1.3
+++ ai12s/ai12-0095-1.txt	2014/07/31 02:03:13	1.4
@@ -1,4 +1,4 @@
-!standard 3.10.2(27.2/3)                              14-02-12  AI05-0095-1/01
+!standard 3.10.2(27.2/3)                              14-07-24  AI05-0095-1/02
 !standard 4.6(24.16/2)
 !standard 6.4.1(6.2/3)
 !standard 12.5.1(15)
@@ -13,9 +13,9 @@
 !subject Generic bodies assume-the-worst whether formal type have constrained partial views
 !summary
 
-Within a generic body, we assume the worst whether or not a formal subtype
-has a constrained partial view. In particular, we assume that untagged formal
-private and derived types have such a view.
+Within a generic body, we assume the worst as to whether or not a formal
+subtype has a constrained partial view. In particular, we assume that untagged
+formal private and derived types have such a view.
 
 !question
 
@@ -123,7 +123,7 @@
 Add after 6.4.1(6.2/3):
 
 In addition to the places where Legality Rules normally apply (see 12.3), these
-rules apply also in the private part of an instance of a generic unit.
+rules also apply in the private part of an instance of a generic unit.
 
 Add after 12.5.1(15):
 
@@ -150,8 +150,8 @@
 
 Note that the author had (half-heartedly) proposed in AI05-0041-1 that
 we define the term "known to be unconstrained" for this purpose. (This would
-be defined as the entire 3.10.2(27.2/3) bullet.) That would be an alternative to
-the chosen solution, but it was rejected as it would potentially be confused
+be defined as the entire 3.10.2(27.2/3) bullet.) That would be an alternative
+to the chosen solution, but it was rejected as it would potentially be confused
 with "known to be constrained". [A detailed explanation of this solution can
 be found in the !appendix.]
 
@@ -192,7 +192,7 @@
 view, and unconstrained in any partial view.>
 @dinst
 In addition to the places where Legality Rules normally apply (see 12.3), these
-rules apply also in the private part of an instance of a generic unit.
+rules also apply in the private part of an instance of a generic unit.
 
 !corrigendum 12.5.1(15)
 

Questions? Ask the ACAA Technical Agent