Changes between Version 134 and Version 135 of IR


Ignore:
Timestamp:
12/10/15 16:58:19 (10 years ago)
Author:
zmanchun
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • IR

    v134 v135  
    300300* `ite(e1,e2,e3)`: if-then-else (conditional) expression, like `e1?e2:e3` in C.
    301301 * `e1` must have `Bool` type.  `e2` and `e3` must have the same static types, which is the static type of the result.
    302 * `call(e0,<e1,...,en>)` : function call
     302* `invoke(e0,<e1,...,en>)` : function call
    303303 * a function invocation where `e0` must evaluate to either an abstract or pure system function
    304304