Changes between Version 27 and Version 28 of IR2

Timestamp:

04/28/21 12:27:20 (5 years ago)

Author:

siegel

Comment:

--

IR2

@@ -12 +12 @@
 * pure functions?  A pure function is a mathematical function of its arguments.  It cannot modify the state.
 * state functions? A state function is a function of the current state (including arguments, global variables, ...).  It cannot modify the state.  Every pure function is a state function.
-* declarators need parentheses
 * `$depends_on`
 * read/write sets: function calls to start, stop monitoring reads/writes?  All part of mem library
@@ -92 +91 @@
   | '$rel' '<' type-list '>'  /* relation: set of n-tuples with specified component types */
   ;
-declarator: '*'* ID ('[' ']' | '(' type-list? ')')* ;
-type-name: type-specifier '*'* ('[' ']' | '(' type-list? ')')* ;
+declarator '*'* direct-declarator ;
+direct-declarator:
+    ID  /* variable being declared */
+  | direct-declarator '[' ']'  /* array of ... */
+  | direct-declarator  '(' type-list? ')'  /* function consuming ... and returning ... */
+  | '(' declarator ')'
+  ;
+type-name: ... /* same as declarator but without the ID */
 type-list: type-name (',' type-name)* ;
-complete-type-name: type-specifier '*'* ('[' expr ']' | '(' type-list? ')')* ;
+complete-type-name: ... /* same as declarator except '[' expr ']' */
 
 }}}