Changes between Version 105 and Version 106 of IR

Timestamp:

12/01/15 10:56:03 (10 years ago)

Author:

zmanchun

Comment:

--

IR

@@ -228 +228 @@
  * If `e3` is positive, the integers `e1`, `e1`+`e3`, `e1`+2*`e3`, ... that are less than or equal to `e2`.  If `e3` is negative, the integers `e1`, `e1`+`e3`, `e1`+2*`e3`, ... that are greater than or equal to `e2`.  Exception if `e3` is 0.
 * `domain(<r1,...,rn>)` : value of type `Domain[n]`, the Cartesian product of the n ranges, with dictionary order
-* `hasnext(dom, <i,j,…>)`: an expression of type `Bool`, testing if the domain `dom` contains any element after `<i,j,...>`
+* `hasnext(dom, <i,j,…>)`: an expression of type `Bool`, testing if the domain `dom` contains any element after `<i,j,...>`. If `i` or `j` or ... is undefined, then it evaluates to `false` if `dom` is empty, and `true` if `dom` is not empty.
 
 Arrays (which are also Sequences)
@@ -337 +337 @@
 * `NEXT dom, <i,j,…>;` : move to next element in domain
  * updates `i`,`j`,... to be the value of the next tuple in `dom` after `<i,j,...>`
+ * if `i`, or `j`, ... is undefined, then `i`, `j`, ... are updated to be the value of the first tuple in `dom`
 * `FOR_ENTER dom, <i,j,...>;`: updates `<i,j,...>` to be the next element in domain
  * **FIX ME**