Changes between Version 6 and Version 7 of IR

Timestamp:

11/21/15 22:42:38 (10 years ago)

Author:

siegel

Comment:

--

IR

@@ -34 +34 @@
 * `$range`
 * `$domain`
- * `$domain(Integer n)`
-* `enum` types
+ * `$domain(n)`, n is an integer at least 1; subtype of above
+* `enum` types.
+ * different from integers or like C?
 * Integer types
  * `$integer` : the mathematical integers
  * `$int(lo,hi,wrap)`
-  * lo, hi are integers, wrap is a Boolean
+  * lo, hi are integers, wrap is boolean
   * finite interval of integers [lo,hi].  If `wrap` is true then all operations "wrap", otherwise, any operation resulting in a value outside of the interval results in an exception being thrown.
 * Real types
  * `$real` : the mathematical real numbers
- * `$float(e,f)`
- * e, f are integers
+ * `$float(e,f)`, e, f are integers, each at least 1
  * IEEE754 floating point numbers
-* `struct` types
- * list of name-type pairs
- * bit-widths?
-* `union` types : similar to struct
+* `struct(T1,...,Tn)`
+ * Why do we need the field names?
+ * What about bit-widths?
+* `union(T1,...,Tn)` : similar to struct
 * `T[]` : array-of-T
- * `T[n]` : array-of-length-n-of-T, subtype of above
 * `Function<S1,...,Sn;T>`
 * `T*` : pointer-to-T
@@ -65 +64 @@
 == Expressions ==
 
+* literals
+ * $true, $false
+ * 123, -123, 3.1415, etc.
+ * 'a', 'b', ... UNICODE?
+ * `(T[]){e0, e1, ...}` : array literal
+ * (S){e0, ...}` : tuple (struct) literal
+ * `e1..e2`, `e1..e2#e3` : range literals
+ * domain literals?
+ * "abc" : string literals (array of char -- same as array literal?)
+ * `$root`, `$here` (scope values) 
+ * `$self`, undefined process (proc value)
+
+* variable
 * `e1+e2` : addition
 * `e1-e2` : subtraction
@@ -73 +85 @@
 * `*e` : pointer dereference
 * `&e` : address-of
+* `!e` : logical not
+* `-e` : negative
 * `(T)e` : cast expression
  * cast of integer to array-of-boolean, and vice-versa?
-* 
+* `e1==e2`, `e1!=e2`
+* `e1&&e2`, `e1||e2`
+* `e1?e2:e3`
+* `e1<e2`, `e1<=e2`
+* `e0(e1,...,en)` : pure function call?
+* `$forall`, `$exists`
+* `e1.i`, some natural number i (tuple read)
+
+
 
 
@@ -95 +117 @@
 
 
-