Changes between Version 71 and Version 72 of IR2

Timestamp:

05/04/21 15:10:33 (5 years ago)

Author:

siegel

Comment:

--

IR2

@@ -223 +223 @@
   | '*' expr  /* pointer dereference */
   | '&' lvalue  /* address-of */
+  | expr '(' expression-list? ')'  /* application of abstract function (and perhaps other functions?) */
   | $new(type-name)  /* returns a new arbitrary value of the given type */
   | '$forall' '(' decl expr? ')' expr  /* universal quantification */