Changes between Version 110 and Version 111 of IR2

Timestamp:

05/21/21 22:05:54 (5 years ago)

Author:

siegel

Comment:

--

IR2

@@ -138 +138 @@
   | '$rel' type-args  /* relation: set of n-tuples with specified component types */
   ;
-declarator '*'* direct-declarator ;
+declarator: '*'* direct-declarator ;
 direct-declarator:
     ID  /* variable being declared */
-  | direct-declarator '[' expr? ']'  /* array of ... */
+  | direct-declarator '[' ']'  /* array of ... */
   | direct-declarator  '(' parameter-type-list? ')'  /* function consuming ... and returning ... */
   | '(' declarator ')'
   ;
-type-name: ... /* same as declarator but without the ID */
+abstract-declarator: '*'* abstract-direct-declarator ;
+abstract-direct-declarator:
+  | abstract-direct-declarator '[' expr? ']'
+  | abstract-direct-declarator  '(' parameter-type-list? ')'
+  | '(' abstract-declarator ')'
+  ;
+type-name: type-specifier abstract-declarator ;
 type-args: '<' type-name (',' type-name)* '>';
 parameter-type-list: type-specifier declarator (',' type-specifier declarator)* ;
@@ -178 +184 @@
 };
 }}}
+* A *pure type name* is one in which the optional length expression for an array type never occurs.
+* A *complete type name* is defined recursively as follows: a struct or union type is complete if and only if all the member types are complete; an array type is complete if and only if the element type is complete and the length is specified; all other types are complete.
+
 
 == Statements ==