Changes between Version 49 and Version 50 of IR2

Timestamp:

04/28/21 20:59:57 (5 years ago)

Author:

siegel

Comment:

--

IR2

@@ -61 +61 @@
 ID: ... /* identifier */
 STRING: ... /* string literal in double quotes */
+
 }}}
 
@@ -84 +85 @@
     ... initialized a somehow ...
    $assume($defined(a, 0, 10)); // ?
+
 }}}
 
@@ -96 +98 @@
   | '$when '(' ID ')'  /* guard clause */
   ;
+
 }}}
 
@@ -189 +192 @@
   | '(' type-name ')' expr  /* cast */
   | '(' type-name ')' '{' expression-list? '}'  /* concrete array or struct */
+  | '(' type-name ')' '$lambda' '(' '$int' identifier-list ')' expr  /* array literal, aka array lambda */
   | expr '..' expr '#' expr  /* range literal */
   | '$domain_cart' '(' range-list? ')'  /* Cartesian domain */