Changes between Version 12 and Version 13 of CIVL-C

Timestamp:

09/07/23 11:14:53 (3 years ago)

Author:

Alex Wilton

Comment:

--

CIVL-C

@@ -49 +49 @@
   * MC - uses ABC, SARL, Util
 * Make CIVLType richer, acting as an interpreter for values (symbolic expressions).  Each CIVLType should have methods that consume and produce symbolic expressions.  For example, each should have a method to cast a value to another (acceptable) type.  Each should have a method to create values for that type.
-* No more dependent types in SARL. SARL will only support unbounded arrays. CIVL will simply encode bounded arrays as an unbounded array paired with an integer representing the arrays size. In other words, move the state out of the type and into the value.
-  * Alternatively, SARL will only have bounded arrays with a concrete bound. However, I think you lose flexibility this way.
+* No more dependent types in SARL. SARL arrays will not have length baked into type. CIVL will simply encode bounded arrays as an unbounded array paired with an integer representing the arrays size. In other words, move the state out of the type and into the value.
 * Prefer using static methods and variables over factory objects for object creation and manipulation. Less cruft this way (don't have to pass factories all over the place) and also discourages relying on stateful implementations which are more error prone and harder to debug.
 * Easier construction and manipulation of ASTs: