aboutsummaryrefslogtreecommitdiff
path: root/src/interp/lisplib.boot
diff options
context:
space:
mode:
authordos-reis <gdr@axiomatics.org>2011-11-11 05:53:12 +0000
committerdos-reis <gdr@axiomatics.org>2011-11-11 05:53:12 +0000
commit218672555b561f73b25f07168d16b24c56a494d4 (patch)
tree338b08b7e17b286e194242949b74bdfa0595eb4d /src/interp/lisplib.boot
parentecd77af5ce74ac002bd6550bed79eae5a3704c35 (diff)
downloadopen-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.boot2
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