Changes between Version 81 and Version 82 of IR2

Timestamp:

05/08/21 20:52:29 (5 years ago)

Author:

siegel

Comment:

--

IR2

@@ -233 +233 @@
   | expr '?' expr ':' expr  /* if-then-else expression */
   | '$length' '(' expr ')'  /* length of array */
+  | '$defined' '(' lvalue ')'  /* is the value stored a well-defined value of its type? */
   ;
 expr-pair-list: expr-pair (',' expr-pair)* ;
@@ -241 +242 @@
 * For float types, which rounding mode is used?
 * Comparisons likes `==` and `<` return a `$bool` (not an int, like C)
+* need to think about `$defined`.   How can you allocate an array and have all cells undefined? 
 
 === Allowed Casts ===