diff options
author | dos-reis <gdr@axiomatics.org> | 2011-12-03 20:03:11 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2011-12-03 20:03:11 +0000 |
commit | 9b81bd9f34147232eb8e6c56978e36f49f8f6771 (patch) | |
tree | 1e6a109bc4344fc380e7efa4ae0f520629da5f36 /src/ChangeLog | |
parent | b2848762b8155be597dfa4819f8ff5ea337e3e4b (diff) | |
download | open-axiom-9b81bd9f34147232eb8e6c56978e36f49f8f6771.tar.gz |
* interp/compiler.boot (setqMultiple): Handle lhs and rhs of type
Cross instance.
* interp/g-util.boot ($DomainNames): Include Cross.
* interp/cattable.boot (genCategoryTable): Do not eval Cross.
It is bogus to prepopulate the table with builtin functors anyway.
* algebra/triset.spad.pamphlet
(PolynomialSetUtilitiesPackage)[removeRedundantFactors]: Do not
define `c' and `d' in conditional. Make the initializer conditional.
Diffstat (limited to 'src/ChangeLog')
-rw-r--r-- | src/ChangeLog | 13 |
1 files changed, 12 insertions, 1 deletions
diff --git a/src/ChangeLog b/src/ChangeLog index 6efb85c1..df375ae9 100644 --- a/src/ChangeLog +++ b/src/ChangeLog @@ -1,5 +1,16 @@ 2011-12-03 Gabriel Dos Reis <gdr@cs.tamu.edu> + * interp/compiler.boot (setqMultiple): Handle lhs and rhs of type + Cross instance. + * interp/g-util.boot ($DomainNames): Include Cross. + * interp/cattable.boot (genCategoryTable): Do not eval Cross. + It is bogus to prepopulate the table with builtin functors anyway. + * algebra/triset.spad.pamphlet + (PolynomialSetUtilitiesPackage)[removeRedundantFactors]: Do not + define `c' and `d' in conditional. Make the initializer conditional. + +2011-12-03 Gabriel Dos Reis <gdr@cs.tamu.edu> + * interp/nruncomp.boot (washFunctorBody) [clean]: Clean %when forms too. @@ -14,7 +25,7 @@ * interp/g-opt.boot (groupVariableDefinitions): Simplify a bit. (optimizeFunctionDef): Likewise. Change %LET to %store before - simplification. + simplification. (simplifyVMForm): Do not call changeVariableDefinitionToStore. 2011-12-02 Gabriel Dos Reis <gdr@cs.tamu.edu> |