Changes between Version 47 and Version 48 of IR

Timestamp:

11/24/15 17:06:23 (10 years ago)

Author:

zmanchun

Comment:

--

IR

@@ -116 +116 @@
 // type definitions
 Type S:=Tuple[Array[Integer]];
+_dynamic_S: DType;
 
 // variable decls
@@ -125 +126 @@
 // statements (leaving out the chooses and whens for brevity)
 n:=10;
-_S_init:=\new(Tuple[Array[Integer, n]]);
-x1:=_S_init;
+_dynamic_S:=\dtype(Tuple[Array[Integer, n]]);
+x1:=\new(_dynamic_S);
 n:=20;
-x2:=_S_init;
+x2:=\new(_dynamic_S);
 }}}
 
@@ -235 +236 @@
 Example of declaration of a function:
 {{{
-$integer f($real x, $bool y);
+f($real x, $bool y):integer;
 }}}