diff options
author | dos-reis <gdr@axiomatics.org> | 2012-02-26 05:05:01 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2012-02-26 05:05:01 +0000 |
commit | 932e2546f8624aff5cde6fb900857c11290357b9 (patch) | |
tree | 0220b9be4012e86056f4e98e6302af974b847188 /src/ChangeLog | |
parent | 005c2bd99d216a29ae3ea876cbb5b4f5490a2e7d (diff) | |
download | open-axiom-932e2546f8624aff5cde6fb900857c11290357b9.tar.gz |
* interp/compiler.boot (compTopLevel): Do not bind $killOptimizeIfTrue.
(compWithMappingMode): Likewise.
(compUnnamedMapping): Likewise.
(extractCode): Simplify.
* interp/g-opt.boot (optClosure): New. Register.
(semiSimpleRelativeTo?): An abstraction is always semisimple.
* interp/nruncomp.boot ($killOptimizeIfTrue): Remove.
(optDeltaEntry): Don't test for it.
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 136d1d94..ad56facb 100644 --- a/src/ChangeLog +++ b/src/ChangeLog @@ -1,5 +1,16 @@ 2012-02-25 Gabriel Dos Reis <gdr@cs.tamu.edu> + * interp/compiler.boot (compTopLevel): Do not bind $killOptimizeIfTrue. + (compWithMappingMode): Likewise. + (compUnnamedMapping): Likewise. + (extractCode): Simplify. + * interp/g-opt.boot (optClosure): New. Register. + (semiSimpleRelativeTo?): An abstraction is always semisimple. + * interp/nruncomp.boot ($killOptimizeIfTrue): Remove. + (optDeltaEntry): Don't test for it. + +2012-02-25 Gabriel Dos Reis <gdr@cs.tamu.edu> + * interp/compiler.boot (extractCode): Rename from extractCodeAndConstructTriple. Change Arity. Tidy. Adjust callers. |