diff options
| author | dos-reis <gdr@axiomatics.org> | 2010-06-02 16:18:38 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2010-06-02 16:18:38 +0000 |
| commit | 745f748d953fa9121b383b02a74970d4baa3473a (patch) | |
| tree | 16c00de3f8d2e04a3265dca586ab25db13ad8369 /src/ChangeLog | |
| parent | 3878a5961fe87ed39d567d85e01d4ade9e41354f (diff) | |
| download | open-axiom-745f748d953fa9121b383b02a74970d4baa3473a.tar.gz | |
* interp/c-util.boot (usedSymbol?): New.
(declareUnusedParameters): Use it. Reimplement.
* interp/i-map.boot (compileCoerceMap): Adjust call.
* interp/i-spec1.boot (compileADEFBody): Likewise.
(mkIterFun): Likewise.
* interp/slam.boot (reportFunctionCompilation): Likewise.
(reportFunctionCacheAll): Likewise.
(compileRecurrenceRelation): Likewise.
Diffstat (limited to 'src/ChangeLog')
| -rw-r--r-- | src/ChangeLog | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/src/ChangeLog b/src/ChangeLog index 656b89e5..c4ed009e 100644 --- a/src/ChangeLog +++ b/src/ChangeLog @@ -1,3 +1,14 @@ +2010-06-02 Gabriel Dos Reis <gdr@cs.tamu.edu> + + * interp/c-util.boot (usedSymbol?): New. + (declareUnusedParameters): Use it. Reimplement. + * interp/i-map.boot (compileCoerceMap): Adjust call. + * interp/i-spec1.boot (compileADEFBody): Likewise. + (mkIterFun): Likewise. + * interp/slam.boot (reportFunctionCompilation): Likewise. + (reportFunctionCacheAll): Likewise. + (compileRecurrenceRelation): Likewise. + 2010-06-01 Gabriel Dos Reis <gdr@cs.tamu.edu> * algebra/list.spad.pamphlet: Use builtin functions. |