Changes between Version 98 and Version 99 of IR

Timestamp:

11/30/15 09:38:23 (10 years ago)

Author:

siegel

Comment:

--

IR

@@ -28 +28 @@
 {{{
 program: block ;
-blockitems: typedef* vardecl* fundef* statement* ;
-statement: '{' blockitems '}' | basicStmt ;
+block: '{' typedef* vardecl* fundef* statement* '}' ;
+statement: block | basicStmt ;
 basicStmt:  (ID ':')? (simpleStmt | chooseStmt) ;
 simpleStmt: (guardedStmt | primitiveStmt) ('goto' ID)? ;
@@ -38 +38 @@
 varopts: '[' varopt+ ']' ;
 varopt: 'input' | 'output' ;
-fundef:  'fun' funopts? ID '(' paramlist ')' ':' typeName '{' conclause* blockitems '}' ;
+fundef:  'fun' funopts? ID '(' paramlist ')' ':' typeName conclause* block ;
 funopts: '[' funopt+ ']' ;
 conclause : 'assigns' expr ';'