Changes between Version 37 and Version 38 of IR

Timestamp:

11/23/15 15:57:35 (10 years ago)

Author:

zmanchun

Comment:

--

IR

@@ -174 +174 @@
  * `e1..e2`, `e1..e2#e3` : values of type `$range`
  * `($domain){r1,...,rn}` : value of type `$domain(n)`
- * `$hasNextIn((i, j, k…), dom)`: test if the domain `dom` contains any element after `(i, j, k, ...)`
  * `"abc"` : string literals: value of type `$char[]`
  * `$root`, `$here` : values of type `$scope`
@@ -185 +184 @@
 * `$initval(t)` : initial value of type `t`
 * `$defined(e)`
+* `$hasNextIn((i, j, k…), dom)`: an expression of boolean type, testing if the domain `dom` contains any element after `(i, j, k, ...)`
 * `e1+e2` : addition.   One of the following must hold:
  * `e1` and `e2` have the same numeric type.  Note that there are no "automatic conversions" as there are in C.  If the original expressions have different types, explicit casts must be inserted.