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

--- ai05s/ai05-0003-1.txt	2008/11/26 23:55:03	1.7
+++ ai05s/ai05-0003-1.txt	2009/04/24 01:45:07	1.8
@@ -1,4 +1,4 @@
-!standard  3.3(11)                                   08-11-14    AI05-0003-1/03
+!standard  3.3(11)                                   09-04-23    AI05-0003-1/04
 !standard  3.3(21)
 !standard  4.1(2)
 !standard  4.4(7)
@@ -11,11 +11,11 @@
 !status received 05-09-20
 !priority Medium
 !difficulty Medium
-!subject Qualified expressions and "names"
+!subject Qualified expressions and names
 
 !summary
 
-(See proposal.)
+A qualified expression is treated as a name rather than as a primary.
 
 !problem
 
@@ -81,7 +81,7 @@
 We do not consider a qualified_expression to be a variable, even if
 its operand denotes a variable.  The added complexity of allowing
 certain qualified_expressions on the left-hand side of an assignment
-or as an [IN] OUT parameter does not seem to be justified.  We
+or as an IN OUT or OUT parameter does not seem to be justified.  We
 considered allowing qualified_expressions whose operands denote
 variable objects of a *tagged* type to be variables (analogous to the
 rule for type_conversion), but it added complexity, without any
@@ -195,7 +195,7 @@
 The @i<operand> (the @fa<expression> or @fa<aggregate>)
 shall resolve to be of the type determined by the @fa<subtype_mark>,
 or a universal type that covers it.
-@dinsa
+@dinst
 @s8<@b<Static Semantics>>
       
 If the operand of a @fa<qualified_expression> denotes an object, the
@@ -210,17 +210,17 @@
 @fa<type_conversion> or a @fa<function_call>)
 having a static and constrained nominal subtype, or is a
 @fa<qualified_expression> whose @fa<subtype_mark> denotes a static and
-constrained scalar subtype, then each non-others @fa<discrete_choice>
+constrained scalar subtype, then each non-@b<others> @fa<discrete_choice>
 shall cover only values in that subtype, and each value of that
 subtype shall be covered by some @fa<discrete_choice> 
-(either explicitly or by others).>
+(either explicitly or by @b<others>).>
 @dby
 @Xbullet<If the @fa<expression> is a @fa<name> (including a
 @fa<type_conversion>, a @fa<qualified_expression>, or a @fa<function_call>)
-having a static and constrained nominal subtype, then each non-others
+having a static and constrained nominal subtype, then each non-@b<others>
 @fa<discrete_choice> shall cover only values in that subtype, and each
 value of that subtype shall be covered by some @fa<discrete_choice> 
-(either explicitly or by others).>
+(either explicitly or by @b<others>).>
 
     
 !ACATS test