CVS difference for ai05s/ai05-0153-3.txt

--- ai05s/ai05-0153-3.txt	2011/02/12 05:57:00	1.10
+++ ai05s/ai05-0153-3.txt	2011/03/05 07:19:00	1.11
@@ -1,5 +1,7 @@
-!standard  3.2.4(0)                                11-02-11    AI05-0153-3/05
+!standard  3.2.4(0)                                11-03-04    AI05-0153-3/06
 !class Amendment 09-05-27
+!status Amendment 2012 11-03-04
+!status ARG Approved  7-0-1  10-02-18
 !status work item 09-05-27
 !status received 09-05-27
 !priority Medium
@@ -169,10 +171,12 @@
     - a static expression that does not raise any exception;
 
     - a membership test whose simple_expression is the current instance,
-      or a case_expression whose *selecting_*expression is the current instance,
-      if this expression would be static if the current instance
-      were replaced with a static expression;
+      and whose membership_choice_list meets the requirements for a static
+      membership test (see 4.9);
 
+    - a case_expression whose *selecting_*expression is the current instance,
+      and whose *dependent_*expressions are static expressions;
+
     - a call to a predefined equality or ordering operator, where one operand
       is the current instance, and the other is a static expression;
 
@@ -213,7 +217,7 @@
 declaration.
 
 AARM Implementation Note: Static_Predicate checks can be removed even in the
-presence of potentially invalid values, just as contraint checks can be removed.
+presence of potentially invalid values, just as constraint checks can be removed.
 
 If any of the above Legality Rules is violated in an instance of a generic
 unit, Program_Error is raised.