Changes between Version 83 and Version 84 of IR

Timestamp:

11/28/15 11:18:06 (10 years ago)

Author:

siegel

Comment:

--

IR

@@ -148 +148 @@
 
 {{{
-typedef S=Tuple[<Array[Integer]>];
+type S=Tuple[<Array[Integer]>];
 
 n: Integer;
@@ -155 +155 @@
 x2: S;
 
-L0:
-  when true do ASSIGN "n", 10; goto L1;
-L1:
-  when true do ASSIGN "S_d", dytype(Tuple[<Array[Integer, "n"]]>); goto L2;
-L2:
-  when true do ASSIGN "x1", new("S_d"); goto L3;
-L3:
-  when true do ASSIGN "n", 20; goto L4;
-L4:
-  when true do ASSIGN "x2", new("S_d"); goto L5;
-L5:
+  ASSIGN "n", 10;
+  ASSIGN "S_d", dytype(Tuple[<Array[Integer, "n"]]>);
+  ASSIGN "x1", new("S_d");
+  ASSIGN "n", 20;
+  ASSIGN "x2", new("S_d");
 }}}
 
 Example of self-referential data definition, a linked list:
 {{{
-typedef Node=Tuple[<Integer,Pointer[Node]>];
+type Node=Tuple[<Integer,Pointer[Node]>];
 }}}