Changes between Version 29 and Version 30 of IR


Ignore:
Timestamp:
11/23/15 12:49:32 (10 years ago)
Author:
zmanchun
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • IR

    v29 v30  
    153153* A system function may have an explicit guard.  This is specified **how**?
    154154
    155 Example of a declaration of a system function with guard.  **Fix me:**
     155Example of a declaration of a system function with guard.
    156156{{{
    157157$bool g($real x, $bool y) { ... }
    158 $integer f($real x, $bool y) $guard g;
     158$integer f($real x, $bool y) $guard {g};
    159159}}}
    160160