diff options
| author | dos-reis <gdr@axiomatics.org> | 2011-11-11 05:53:12 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2011-11-11 05:53:12 +0000 |
| commit | 218672555b561f73b25f07168d16b24c56a494d4 (patch) | |
| tree | 338b08b7e17b286e194242949b74bdfa0595eb4d /src/ChangeLog | |
| parent | ecd77af5ce74ac002bd6550bed79eae5a3704c35 (diff) | |
| download | open-axiom-218672555b561f73b25f07168d16b24c56a494d4.tar.gz | |
* interp/compiler.boot (applyMapping): Emit special call for
domain producing mapping variables.
(compWithMappingMode): Coerce constructors to function objets.
(compFormWithModemap): Constructor calls are direct calls.
Everything else is ordinary indirect call.
* interp/g-opt.boot (optCall): Handle function objects.
* interp/nruncomp.boot (NRTencode): Encode the elaboration of
atomic forms, not the source level form.
* testsuite/compiler/ctor-mapping.spad: New.
Diffstat (limited to 'src/ChangeLog')
| -rw-r--r-- | src/ChangeLog | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/src/ChangeLog b/src/ChangeLog index 4b805bc3..c6af32cc 100644 --- a/src/ChangeLog +++ b/src/ChangeLog @@ -1,5 +1,17 @@ 2011-11-10 Gabriel Dos Reis <gdr@cs.tamu.edu> + * interp/compiler.boot (applyMapping): Emit special call for + domain producing mapping variables. + (compWithMappingMode): Coerce constructors to function objets. + (compFormWithModemap): Constructor calls are direct calls. + Everything else is ordinary indirect call. + * interp/g-opt.boot (optCall): Handle function objects. + * interp/nruncomp.boot (NRTencode): Encode the elaboration of + atomic forms, not the source level form. + * testsuite/compiler/ctor-mapping.spad: New. + +2011-11-10 Gabriel Dos Reis <gdr@cs.tamu.edu> + * algebra/boolean.spad.pamphlet (IndexedBits) [Not, Or, And]: Remove. Implement ~. \/, and /\ instead. * algebra/si.spad.pamphlet (SingleInteger): Likewise. |