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/algebra/strap/RNS-.lsp | |
| 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/algebra/strap/RNS-.lsp')
0 files changed, 0 insertions, 0 deletions