Changes between Version 60 and Version 61 of IR2

Timestamp:

05/02/21 15:51:07 (5 years ago)

Author:

siegel

Comment:

--

IR2

@@ -206 +206 @@
   | 'NULL'
   | '$proc_null'
-  | '$mem_empty'
-  | '$seq_empty'
-  | '$map_empty'
-  | '$set_empty'
-  | '$rel_empty'
   | '(' type-name ')' expr  /* cast */
-  | '(' type-name ')' '{' expression-list? '}'  /* concrete array or struct */
+  | '(' type-name ')' '{' expression-list? '}'  /* concrete array, struct, $seq, $set, $mem */
+  | '(' type-name ')' '{' expr-pair-list? ')' /* concrete map */
   | '(' type-name ')' '$lambda' '(' '$int' identifier-list ')' expr  /* array literal, aka array lambda */
   | expr '..' expr '#' expr  /* range literal */
@@ -236 +232 @@
   | expr '?' expr ':' expr  /* if-then-else expression */
   ;
+expr-pair-list: expr-pair (',' expr-pair)* ;
+expr-pair: '{' expr ',' expr '}' ;
 
 }}}
@@ -282 +280 @@
 
 * need concrete sequence
+
 {{{
 <T> $seq<T> $seq_add( $seq<T> a, T e); // sequence obtained by adding element e to the end of a