Changes between Version 18 and Version 19 of IR2

Timestamp:

04/26/21 13:06:08 (5 years ago)

Author:

siegel

Comment:

--

IR2

@@ -16 +16 @@
   ;
 decl: type-qualifier? type-specifier declarator ';' ;
-type-qualifier: '$input' | '$output' ;
-
-declarator: '*'* ID ('[' ']' | '(' type-list? ')')* ;
-type-name: type-specifier '*'* ('[' ']' | '(' type-list? ')')* ;
-type-list: type-name (',' type-name)* ;
-complete-type-name: type-specifier '*'* ('[' expr ']' | '(' type-list? ')')* ;
 fundef: type-specifier declarator block ;  
 block: '{' typedef* vardecl* fundef* statement* '}' ;
@@ -65 +59 @@
   | '$rel' '<' type-list '>'  /* relation: set of n-tuples with specified component types */
   ;
+type-qualifier: '$input' | '$output' ;
+declarator: '*'* ID ('[' ']' | '(' type-list? ')')* ;
+type-name: type-specifier '*'* ('[' ']' | '(' type-list? ')')* ;
+type-list: type-name (',' type-name)* ;
+complete-type-name: type-specifier '*'* ('[' expr ']' | '(' type-list? ')')* ;
 }}}