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/interp/lisplib.boot | |
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/interp/lisplib.boot')
-rw-r--r-- | src/interp/lisplib.boot | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/interp/lisplib.boot b/src/interp/lisplib.boot index beebddb8..49fa50cf 100644 --- a/src/interp/lisplib.boot +++ b/src/interp/lisplib.boot @@ -72,7 +72,7 @@ predicateBitIndex(x,e) == pn(x,flag,e) == u := simpBool transHasCode(x,e) u is 'T => 0 - u = nil => -1 + u is false => -1 p := valuePosition(u,$NRTslot1PredicateList) => p + 1 not flag => pn(predicateBitIndexRemop x,true,e) systemError nil |