From cef0dd1a5a078a0d8d6b635a2c247c81c00b2a12 Mon Sep 17 00:00:00 2001 From: dos-reis Date: Mon, 24 Oct 2011 01:08:31 +0000 Subject: * 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. --- src/ChangeLog | 14 ++++++++++++++ 1 file changed, 14 insertions(+) (limited to 'src/ChangeLog') diff --git a/src/ChangeLog b/src/ChangeLog index 10413a15..8cc632b0 100644 --- a/src/ChangeLog +++ b/src/ChangeLog @@ -1,3 +1,17 @@ +2011-10-23 Gabriel Dos Reis + + * 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 * interp/g-opt.boot ($VMsideEffectFreeOperators): Include %fdecode. -- cgit v1.2.3