Changes between Version 87 and Version 88 of IR

Timestamp:

11/29/15 11:14:29 (10 years ago)

Author:

siegel

Comment:

--

IR

@@ -275 +275 @@
 
 {{{
-fun[options] foo(x:Integer, ...) : Real {
-
+fun[options] foo(x:Integer, ...) : Real
   // contract clauses (optional):
   requires expr;
@@ -285 +284 @@
   reads expr ;
   depends actions ;
-
+{
   // all of the following are missing for a system function...