Changes between Version 131 and Version 132 of IR2

Timestamp:

06/16/21 14:30:19 (5 years ago)

Author:

siegel

Comment:

--

IR2

@@ -400 +400 @@
 <$int s> $float<s> $absf($float<s> x); // absolute value on $float
 $real $pow($real x, $int n);  // x to the n-th power.  n>=0
-$int $powi($int x, $int n);
-<$int s> $float<s> $pow($float<s> x, $int n);
+$int $powi($int x, $int n); //
+<$int s> $float<s> $powf($float<s> x, $int n);
 // trig functions? pi?
 <T> T $eval($herbrand<T> x);  // returns value of type T obtained by evaluating all the delayed operations
@@ -408 +408 @@
 }}}
 
-* Is it OK to have parameterized functions that only work for certain T?  Would it better to expand for each numeric type?  E.g., absi, abs, abs32, abs64, ...
+* What about Herbrand versions of above functions?   Could we instead introduce an operator for power?  **?   Could make all of these functions part of the language instead (grammar).
 
 === `mem.cvh` ===