Changes between Version 90 and Version 91 of IR

Timestamp:

11/29/15 17:00:19 (10 years ago)

Author:

siegel

Comment:

--

IR

@@ -198 +198 @@
 * `abs(e)`: given any numeric expression e, returns the absolute value; result is same type as `e`.
 * `pow(e,n)`: given any numeric expression e and expression `n` of any integral type, returns e to the n-th power.  `n` must evaluate to a nonnegative integer.
+* `herbrand(e)`: given a Real or Float value, returns the value as a `HerbrandReal`.  Given an `Integer` or `Int` value, returns the value as a `HerbrandInt`.
+* functions for conversation floats to reals and back.
+* functions for converting between Ints and Integers -- or is there a subtype relation?  If so, it must respect all operations.
 
 Characters and Strings
@@ -448 +451 @@
 * is there ever a need for a function prototype?  Could variable decl notation be used instead? NO, variable decls are different, those are state variables.
 * should we leave our parameter names in abstract and system functions?  They are not needed for anything.  THEY ARE NEEDED FOR CONTRACTS, sometimes, and maybe for documentation.    Consider making them optional.
-