Changes between Version 109 and Version 110 of IR2

Timestamp:

05/21/21 18:20:58 (5 years ago)

Author:

siegel

Comment:

--

IR2

@@ -128 +128 @@
   | '$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 */
   | '$mem'  /* set of memory locations */
@@ -169 +168 @@
   * a map cannot be executed in a call or spawn; nor can functions on maps have any side effects
   * a function can return a map and can consume an argument of map type
-
-
+* A type name in a type-args list may be `void`.  In this case, the type name designates the type whose domain is the union, over all types `T` of the type name obtained by substituting T for `void`.  For example, the domain of `$seq<void>` is the union over all types `T` of `$seq<T>`.  The sequence `{1,2,3}` is in the domain of `$seq<$int>` and of `$seq<void>`.  The sequence `{1,3.14}` is not in `$seq<void>` since there is no type `T` containing `$int` and `$real`.    Hence `$seq<void>` is a super type of all `$seq<T>`, and an expression of type `$seq<T>` can be used where one of type `$seq<void>` is required.  It is similar to the relation between `void*` and `T*`.  
+  * A "bundle" type is not needed.  A bundle is just a `$seq<void>`.
+  * A message in an MPI communication might be represented as an element of type `$seq<$seq<void>>`.  That is, a sequence, each element of which is a sequence of elements of the same type.  An example of a message would be `{{1,2,3}, {3.14,2.7},{'a','b','c'}}`.
+  * A general C "object" might be represented as a structure
+{{{
+struct $object {
+  $int size; // number of bytes
+  $map<$int, $seq<void>> data; // offset (in bytes), contiguous values
+};
+}}}
 
 == Statements ==
@@ -335 +342 @@
 struct $object {
   $int size; // in bytes
-  $map<$int,$any> data; // byte offset -> element
+  $map<$int,$seq<void>> data; // byte offset -> element sequence
 }
 typedef struct $object $object;
-}}}
-But this requires `$any` ... (think about this) ...
-
-
-=== bundle.cvh ===
-
-{{{
-$int $bundle_size($bundle b); // number of elements in bundle or size in bytes?
-$bundle $bundle_pack(void *ptr, int size);
-void $bundle_unpack($bundle bundle, void *ptr);
-void $bundle_unpack_apply($bundle data, void *buf, $operation op, int count, void *result);
-
 }}}