CVS difference for ai12s/ai12-0280-2.txt

Differences between 1.9 and version 1.10
Log of other versions for file ai12s/ai12-0280-2.txt

--- ai12s/ai12-0280-2.txt	2019/11/08 04:28:21	1.9
+++ ai12s/ai12-0280-2.txt	2019/11/15 05:18:42	1.10
@@ -1,4 +1,4 @@
-!standard 6.1.1(20/3)                                  19-10-29  AI12-0280-2/06
+!standard 6.1.1(20/3)                                  19-11-08  AI12-0280-2/07
 !standard 6.1.1(21/3)
 !standard 6.1.1(22/3)
 !standard 6.1.1(22.1/4)
@@ -113,7 +113,7 @@
     known-on-entry expression;
 
   * a conditional expression where all of the conditions, selecting_expressions,
-    choice_conditions, and dependent_expressions are known on entry.
+    and dependent_expressions are known on entry.
 
       AARM Discussion: It's OK if such an expression raises an
       exception, so long as every evaluation of the expression raises
@@ -144,8 +144,7 @@
     * For a case_expression that is not repeatedly evaluated, a
       subexpression of any dependent_expression is conditionally
       evaluated, and its determining expressions include the
-      selecting_expression, or all of the choice_conditions, of the
-      case_expression;
+      selecting_expression of the case_expression;
 
     * For a short-circuit control form that is not repeatedly evaluated,
       a subexpression of the right-hand operand is conditionally
@@ -172,8 +171,7 @@
         of the if_expression evaluates to True;
       * Within a case_expression, a dependent_expression with a
         discrete_choice_list that is not covered by the value of the
-        selecting_expression, or has a choice_condition that evaluates to
-        False;
+        selecting_expression;
       * The right-hand operand of a short-circuit control form where the
         left-hand operand evaluates to False for AND THEN or True for OR
         ELSE;
@@ -506,5 +504,15 @@
 terminology (he volunteered to do that when Steve was out of commission) -
 somehow that paragraph was unchanged. So I applied this fix (along with a number
 of other fixes to Tucker's work).
+
+****************************************************************
+
+From: Randy Brukardt
+Sent: Friday, November 8, 2019  5:41 PM
+
+AI12-0280-2 (approved in Lexington) had wording to take into account 
+"case select" expressions. Since we voted to remove those from the language in 
+Lexington, we need to remove that wording from this AI as well. (I noticed 
+this because of errors from the RM formatting tool.) I've done this.
 
 ****************************************************************

Questions? Ask the ACAA Technical Agent