Changes between Version 1 and Version 2 of IR
- Timestamp:
- 11/21/15 19:34:11 (10 years ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
IR
v1 v2 9 9 * `Int<Integer lo, Integer hi, Boolean wrap>` 10 10 * 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. 11 * Real 11 * Real types 12 12 * `Real` : the mathematical real numbers 13 13 * `Float<Integer e, Integer f>` : IEEE754 floating point numbers 14 * Struct 15 * Array 16 * Function 14 * `Struct` 15 * list of name-type pairs 16 * bit-widths? 17 * `Array<T>` 18 * `Array<Integer n,T>` 19 * `Function<S1,...,Sn;T>` 20 * `Pointer<T>` 21 22 When are two types equal? 23 24 What are two types compatible? 17 25 18 26 == Values == … … 23 31 24 32 33 == Statements == 34 35 * Assign 36 * Call 37 * Spawn 38 * Wait 39 40 25 41 26 42 == Program Graph == … … 29 45 30 46 47 == Libraries == 48 49 50
