diff options
author | dos-reis <gdr@axiomatics.org> | 2011-10-24 01:08:31 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2011-10-24 01:08:31 +0000 |
commit | cef0dd1a5a078a0d8d6b635a2c247c81c00b2a12 (patch) | |
tree | 30518cd65d39163d32898da36d58c925f58e270f /src/ChangeLog | |
parent | 6a7022d0c0be54f3411ee07663765f60691c5f0c (diff) | |
download | open-axiom-cef0dd1a5a078a0d8d6b635a2c247c81c00b2a12.tar.gz |
* interp/compiler.boot (compOrCroak1): Drop last argument. Tidy.
(mostSpecificTriple): New.
(compAtomWithModemap): Use it to resolve ambiguous constants.
(formatConstantCandidates): New.
(compForm1): Do try to compile constants 0 and 1 with compToApply.
* algebra/polycat.spad.pamphlet (FiniteAbelianMonoidRing)
[binomThmExpt]: Tidy.
(UnivariatePolynomialCategory) [pseudoDivide]: Likewise.
* algebra/float.spad.pamphlet (Float) [log]: Specificy type for
local variable `l'.
* interp/format.boot (formatUnabbreviatedSig): Handle constants.
Diffstat (limited to 'src/ChangeLog')
-rw-r--r-- | src/ChangeLog | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/src/ChangeLog b/src/ChangeLog index 10413a15..8cc632b0 100644 --- a/src/ChangeLog +++ b/src/ChangeLog @@ -1,5 +1,19 @@ 2011-10-23 Gabriel Dos Reis <gdr@cs.tamu.edu> + * interp/compiler.boot (compOrCroak1): Drop last argument. Tidy. + (mostSpecificTriple): New. + (compAtomWithModemap): Use it to resolve ambiguous constants. + (formatConstantCandidates): New. + (compForm1): Do try to compile constants 0 and 1 with compToApply. + * algebra/polycat.spad.pamphlet (FiniteAbelianMonoidRing) + [binomThmExpt]: Tidy. + (UnivariatePolynomialCategory) [pseudoDivide]: Likewise. + * algebra/float.spad.pamphlet (Float) [log]: Specificy type for + local variable `l'. + * interp/format.boot (formatUnabbreviatedSig): Handle constants. + +2011-10-23 Gabriel Dos Reis <gdr@cs.tamu.edu> + * interp/g-opt.boot ($VMsideEffectFreeOperators): Include %fdecode. * interp/lisp-backend.boot: Expand it. * algebra/sf.spad.pamphlet (DoubleFloat): Remove %fmanexpr import. |