Changes between Version 5 and Version 6 of CIVLite

Timestamp:

09/21/23 21:29:18 (3 years ago)

Author:

siegel

Comment:

--

CIVLite

@@ -63 +63 @@
 assertion: 'assert' expr ';'
 
-alloc: 'alloc' expr '[' expr ']' ';'
-
 exprlist: expr (',' expr)*
 
 lval: ID | lval '[' expr ']' 
 
-expr: lval | constant | '(' expr ')' | expr '+' expr | ...
- // operators: + - * / mod  - == != >= > < <= && || !
+expr: lval | constant | '(' expr ')' | expr '+' expr | ... // + - * / mod  - == != >= > < <= && || !
+  | 'array' '(' type ',' expr ',' expr ')' // array(element-type, length, value)
+
 
 program: paramdecl* vardecl* function*
@@ -76 +75 @@
 Example:
 
-int[][] %a;
-fun void %f(int %n, int %m) {
-  alloc %a, %n;
-  alloc %a[0], %m;
-
-  free %a;
+fun int[][] %zero2d(int %n, int %m) {
+  int[][] %a;
+  %a = array(int[], %n, array(int, %m, 0));
+  return %a;
 }