Changes between Version 16 and Version 17 of IR2

Timestamp:

04/26/21 13:02:57 (5 years ago)

Author:

siegel

Comment:

--

IR2

@@ -43 +43 @@
 {{{
 type-specifier:
-    ID.          /* typedef use */
-  | '$int'      /* mathematical integers */
-  | '$bool'   /* boolean type ($true and $false, unrelated to integers) */
+    ID  /* typedef use */
+  | '$int'  /* mathematical integers */
+  | '$bool'  /* boolean type ($true and $false, unrelated to integers) */
   | '$char'  /* character type (Unicode characters, unrelated to integers) */
-  | '$real'   /*  mathematical reals */
-  | '$float' '<' INT ',' INT '>'   /*  IEEE floating-point numbers e=significand bits, f=exponent bits */
-  | '$herbrand' '<' type-name '>'   /*  Herbrand type of non-Herbrand numeric type T */
-  | '$proc'   /* process type */
-  | '$bundle'   /* bundle type for sequence of any type (same as seq<T>?) */
-  | '$heap'      /*  heap type, for dynamic allocation */
-  | '$range'     /*  regular sequence of integers */
-  | '$domain'  /*  tuple of ranges */
-  | '$mem'      /* */
-  | 'enum' ID  /* */
-  | 'struct' ID  /* */
-  | 'union' ID  /* */
-  | 'void'   /* */
-  | '$seq' '<' type-name '>'  /* */
-  | '$set' '<' type-name '>'  /* */
-  | '$map' '<' type-name ',' type-name '>'  /* */
-  | '$rel' '<' type-list '>'  /* */
+  | '$real'   /* mathematical reals */
+  | '$float' '<' INT ',' INT '>'  /* IEEE floating-point numbers e=significand bits, f=exponent bits */
+  | '$herbrand' '<' type-name '>'  /* Herbrand type of non-Herbrand numeric type T */
+  | '$proc'  /* process type */
+  | '$bundle'  /* bundle type for sequence of any type (same as seq<T>?) */
+  | '$heap'  /* heap type, for dynamic allocation */
+  | '$range'  /* regular sequence of integers */
+  | '$domain'  /* tuple of ranges */
+  | '$mem'  /* set of memory locations */
+  | 'enum' ID  /* enumerated type */
+  | 'struct' ID  /* structure type */
+  | 'union' ID  /* union type */
+  | 'void'   /* use as pointer element-type and return type of a function */
+  | '$seq' '<' type-name '>'  /* sequence of T */
+  | '$set' '<' type-name '>'  /* set of T */
+  | '$map' '<' type-name ',' type-name '>'  /* partial function from T1 to T2 */
+  | '$rel' '<' type-list '>'  /* relation: set of n-tuples with specified component types */
   ;
 }}}