Changes between Version 70 and Version 71 of IR

Timestamp:

11/26/15 07:53:01 (10 years ago)

Author:

siegel

Comment:

--

IR

@@ -218 +218 @@
  * **Instead of casts would it be better to have explicit functions for each legal kind of cast?**
 * `\ite(e1,e2,e3)`: if-then-else (conditional) expression, like `e1?e2:e3` in C. 
-* `e0(e1,...,en)` : a function invocation where `e` must evaluate to either an abstract or pure system function
+* `call(e0,<e1,...,en>)` : a function invocation where `e0` must evaluate to either an abstract or pure system function
 
 == The Primitive Statements ==