Changes between Version 93 and Version 94 of IR2

Timestamp:

05/12/21 21:01:40 (5 years ago)

Author:

siegel

Comment:

--

IR2

@@ -226 +226 @@
   | '&' lvalue  /* address-of */
   | expr type-args? '(' expression-list? ')'  /* application of abstract function (and perhaps other functions?) */
-  | $new(type-name)  /* returns a new arbitrary value of the given type */
+  | '$new' '(' type-name ')'  /* returns a new arbitrary value of the given type */
   | '$forall' '(' decl expr? ')' expr  /* universal quantification */
   | '$exists' '(' decl expr? ')' expr  /* existential quantification */
@@ -235 +235 @@
   | '$castable' '(' expr ',' type-name ')'  /* can expr be cast to type T? */
   | '$defined' '(' lvalue ')'  /* has the specified memory location been assigned? */
-  | '$valid '(' expr ')'  /* does a pointer point to a memory location capable of holding a value of its base type? */
+  | '$valid '(' expr ')'  /* does a pointer point to an object of its base type? */
   ;
 expr-pair-list: expr-pair (',' expr-pair)* ;