Changes between Version 22 and Version 23 of IR

Timestamp:

11/22/15 12:08:24 (10 years ago)

Author:

siegel

Comment:

--

IR

@@ -15 +15 @@
 * an array is declared without any length expression.  When it is initialized it can specify length.
 
+**Can we specify that elements must appear in the order above?**  Or would that create a problem in something like
+{{{
+{
+  $integer x=3*y;
+  $integer a[x+1];
+}
+}}}
+
+
 Example:
 
@@ -43 +52 @@
 }}}
 
-==  Static Types ==
+==  Types ==
+
+**Do you need dependent types?**  I.e., can parameters to some of the types be arbitrary expressions, or do they have to be constants?
+
+**Do you need typedefs?**
 
 * `$bool` : boolean type, values are `$true` and `$false`
@@ -72 +85 @@
 * `union(T1,...,Tn)` : similar to struct
 * `T[]` : array-of-T
+* **do we need the complete array type `T[e]`, which is a dependent type?**
 * Function<S1,...,Sn;T>
  * function consuming S1,...,Sn and returning T.  T can be void.  The actual notation is the horrible C notation.