Changes between Version 68 and Version 69 of IR

Timestamp:

11/26/15 07:19:28 (10 years ago)

Author:

siegel

Comment:

--

IR

@@ -57 +57 @@
   a: Array[Integer];
 L1:
-  when (\true) assign x, \mul(3,y); goto L2;
+  when (\true) ASSIGN x, \mul(3,y); goto L2;
 L2:
-  when(\true) assign a_t, \dytype(Array[Integer, \add(x,1)]); goto L3;
+  when(\true) ASSIGN a_t, \dytype(Array[Integer, \add(x,1)]); goto L3;
 L3:
-  when (\true) assign a, \new(a_t); goto L4;
+  when (\true) ASSIGN a, \new(a_t); goto L4;
 L4:
 }