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

Differences between 1.9 and version 1.10
Log of other versions for file ai05s/ai05-0176-1.txt

--- ai05s/ai05-0176-1.txt	2010/04/05 23:47:36	1.9
+++ ai05s/ai05-0176-1.txt	2010/04/13 02:31:35	1.10
@@ -1,4 +1,4 @@
-!standard 2.9(2/2)                                  10-04-05  AI05-0176-1/05
+!standard 2.9(2/2)                                  10-04-12  AI05-0176-1/06
 !standard 3.3(19)
 !standard 4.4(7)
 !standard 4.5.9(0)
@@ -70,6 +70,12 @@
 
 !wording
 
+Modify 1.1.4(12):
+
+* A vertical line separates alternative items unless it immediately occurs
+  after an opening curly bracket{ or a loop_parameter_specification}, in
+  which case it stands for itself:
+
 Add to 4.4 (7) a new kind of primary:
    quantified_expression
 
@@ -79,9 +85,11 @@
 4.5.9 Quantified expressions
 
    quantified_expression ::= (for quantifier loop_parameter_specification | predicate)
-   quantifier            ::= all | some
+   quantifier            ::= all | Some
    predicate             ::= boolean_expression
 
+[Editor's Note: "Some" is not a reserved word and is not given in boldface.]
+
 Name Resolution Rules
 
 The expected type of a quantified expression is any Boolean type.
@@ -123,6 +131,8 @@
 written:
 
    (for some X in 2 .. N / 2 | N mod X = 0)
+
+Note: Some is not a reserved word.
 
 !discussion
 

Questions? Ask the ACAA Technical Agent