Changes between Version 9 and Version 10 of Language

Timestamp:

05/18/23 10:55:48 (3 years ago)

Author:

siegel

Comment:

--

Language

@@ -170 +170 @@
 An expression of the form
 
-  `(``$domain``)`  `{` ''r1'' `,` ... `,` ''rn'' `}`
-
-where ''r1'', . . . , ''rn'' are ''n'' expressions of type `$range`, is a ''Cartesian domain expression''.
+  `(``$domain``)`  `{` ''r,,1,,'' `,` ... `,` ''r,,n,,'' `}`
+
+where ''r,,1,,'', . . . , ''r,,n,,'' are ''n'' expressions of type `$range`, is a ''Cartesian domain expression''.
 It represents the domain of dimension ''n'' which is the Cartesian product of the ''n'' ranges,
-i.e., it consists of all ''n''-tuples (''x1'',...,''xn'') where ''x1'' ∈ ''r1'', ..., ''xn'' ∈ ''rn''.
+i.e., it consists of all ''n''-tuples (''x,,1,,'',...,''x,,n,,'') where ''x,,1,,'' ∈ ''r,,1,,'', ..., ''x,,n,,'' ∈ ''r,,n,,''.
 The order on the domain is the dictionary order on tuples.
 The type of this expression is `$domain(n)`.
 When a Cartesian domain expression is used to initialize an object of domain type, the `($domain)` may be omitted. For example: 
 {{{
-$domain(3) dom = { 0 .. 3, r2, 10 .. 2 # -2 };
+$domain(3) dom = { 0..3, r2, 10..2#-2 };
 }}}
 
@@ -332 +332 @@
 A domain statement has the form
 
-  `$for` `(``int` ''i1''`,` ...`,` ''in'' `:` ''dom''`)` ''S''
-
-where ''i1'', . . . , ''in'' are ''n'' identifiers, ''dom'' is an expression of type `$domain(`''n''`)`, and ''S'' is a statement.
+  `$for` `(``int` ''i,,1,,''`,` ...`,` ''i,,n,,'' `:` ''dom''`)` ''S''
+
+where ''i,,1,,'', . . . , ''i,,n,,'' are ''n'' identifiers, ''dom'' is an expression of type `$domain(`''n''`)`, and ''S'' is a statement.
 The identifiers declare ''n'' variables of integer type.
 Control iterates over the values of the domain, assigning the integer variables the components of the current tuple in the domain at the start of each iteration.
@@ -342 +342 @@
 For example,
 {{{
-$for (int i : 0 .. 10) S
+$for (int i: 0..10) S
 }}}
 is equivalent to
 {{{
-$for (int i: ($domain(1)){0 .. 10}) S
+$for (int i: ($domain(1)){0..10}) S
 }}}
 
@@ -355 +355 @@
 A parallel for loop statement has the form
 
-  `$parfor` `(``int` ''i1''`,` ...`,` ''in'' `:` ''dom''`)` ''S''
+  `$parfor` `(``int` ''i,,1,,''`,` ...`,` ''i,,n,,'' `:` ''dom''`)` ''S''
 
 The syntax is exactly the same as that for the sequential domain iteration loop `$for`, only with `$parfor` replacing `$for`.
 
-The semantics are as follows: when control reaches the loop, one process is spawned for each element of the domain. That process has local variables corresponding to the iteration variables, and those local variables are initialized with the components of the tuple for the element of the domain that process is assigned. Each process executes the statement ''S'' in this context. Finally, each of these processes is waited on at the end. In particular, there is an effective barrier at the end of the loop, and all the spawned processes disappear after this point.
+The semantics are as follows: when control reaches the loop, one process is spawned for each element of the domain.
+That process has local variables corresponding to the iteration variables, and those local variables are initialized with the components of the tuple for the element of the domain that process is assigned.
+Each process executes the statement ''S'' in this context.
+Finally, each of these processes is waited on at the end.
+In particular, there is an effective barrier at the end of the loop, and all the spawned processes disappear after this point.
 
 === Guarded commands: `$when`