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

--- ai05s/ai05-0188-1.txt	2009/11/04 00:30:35	1.1
+++ ai05s/ai05-0188-1.txt	2010/01/09 01:31:30	1.2
@@ -1,4 +1,4 @@
-!standard 4.5.7 (0)                                09-11-03  AI05-0188-1/01
+!standard 4.5.7 (0)                                10-01-07  AI05-0188-1/02
 !class amendment 09-11-03
 !status work item 09-11-03
 !status received 09-11-03
@@ -119,7 +119,15 @@
 There is nothing corresponding to the implicit "else False" for
 conditional_expressions.
 
-We need rules for static expressions.
+We need rules for static expressions. There are two parts. One is left for
+later.
+
+The other part is based on the changes proposed in AI05-0147-1. We need to add
+an additional bullet to the definition of "statically unevaluated":
+
+* an expression of a case expression alternative where the expression of
+  the enclosing case expression is static and has a value that is
+  not covered by the discrete_choice_list of the case expression alternative.
 
 !discussion