Changes between Version 54 and Version 55 of IR

Timestamp:

11/25/15 10:42:02 (10 years ago)

Author:

zmanchun

Comment:

--

IR

@@ -16 +16 @@
 Example:
 {{{
-f(;Integer) {  // now sure what this signature means.  maybe something like "f(x:Integer): Integer {" ?
+f(): Integer {  // something like "f(x:Integer): Integer {" ?
   x: Real;
   y: Real;
@@ -57 +57 @@
   when (\true) x:=3*y; goto L2;
 L2:
-  when(\true) a_t:=\dytype(Array[Integer, x+1]); goto L3;
+  when(\true) a_t:=\dytype(Array[Integer, x+1]); goto L3; // Array[Integer] is refined here using x+1
 L3:
   when (\true) a:=\new(a_t); goto L4;
@@ -213 +213 @@
 
 * Assign:  `e1:=e2;`
-* Call: `e0(e1,...,en);` and `e:=e0(e1,...,en);`
+* Call: `\call e0, (e1,...,en);` and `\call e, e0, (e1,...,en);`
  * regular function (one with flow graph)
  * ** distinguish this kind of call from an expression involving a pure system or abstract call???**
-* Spawn: `\spawn e0(e1,...,en);` and `e:=\spawn e0(e1,...,en);`
-* Wait: `\wait(e);`
-* Wailtall: `\waitall(e)` where `e` is an array of process references (`Proc`) to be waited for;
+* Spawn: `\spawn e0, (e1,...,en);` and `\spawn e, e0, (e1,...,en);`
+* Wait: `\wait e;`
+* Wailtall: `\waitall e` where `e` is an array of process references (`Proc`) to be waited for;
 * Allocation
- * `e:=\allocate(h,t,e);`, where 
+ * `\allocate e, h,t,e0;`, where 
   * `h` as type `Heap`
   * `t` has type `Dytype`