diff options
| author | dos-reis <gdr@axiomatics.org> | 2011-12-01 21:11:07 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2011-12-01 21:11:07 +0000 |
| commit | 020475072e466165432ff92e35d9008eaf36ee2e (patch) | |
| tree | 542f8f9dbf191b8d90aafc5526916a692819a632 /src/input/ch.input.pamphlet | |
| parent | 3e5d6ea25b7f3964e40bbcb76437ca637f533691 (diff) | |
| download | open-axiom-020475072e466165432ff92e35d9008eaf36ee2e.tar.gz | |
* interp/g-opt.boot (groupVariableDefinitions): Look through
%labelled and %lambda.
(optimizeFunctionDef): Use copyTree, not COPY. Simplify.
(simplifyVMForm): Perform changeVariableDefinitionToStore and
groupVariableDefinitions on abstraction forms.
Diffstat (limited to 'src/input/ch.input.pamphlet')
0 files changed, 0 insertions, 0 deletions