diff options
author | dos-reis <gdr@axiomatics.org> | 2008-08-05 04:44:46 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2008-08-05 04:44:46 +0000 |
commit | bd4a699266fec55732b228ed4fa3c206571a4ccd (patch) | |
tree | 25433d38d56a4650af0b45c1ace526daa0729ed0 /src/interp/vmlisp.lisp | |
parent | ad44abce61272601834a82c51cc3c05e70c712ca (diff) | |
download | open-axiom-bd4a699266fec55732b228ed4fa3c206571a4ccd.tar.gz |
Fix SF/2037811
* interp/vmlisp.lisp (EMBED): Evaluate lambda forms to FUNCTIOn type.
* interp/trace.boot (transTraceItem): Fix thinko.
(spadTrace): Use assoc, not ASSOC.
(addTraceItem): Test for domain objects before constructors.
Diffstat (limited to 'src/interp/vmlisp.lisp')
-rw-r--r-- | src/interp/vmlisp.lisp | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/src/interp/vmlisp.lisp b/src/interp/vmlisp.lisp index 25e848f2..76b52318 100644 --- a/src/interp/vmlisp.lisp +++ b/src/interp/vmlisp.lisp @@ -1601,10 +1601,11 @@ (OR (EQ OP 'LAMBDA) (EQ OP 'MLAMBDA))) (COND ( (NOT (MEMQ CURRENT-BINDING (FLAT-BV-LIST BV))) - `(,OP ,BV ((LAMBDA (,CURRENT-BINDING) . ,BODY) ',OLD-DEF)) + (eval `(,OP ,BV ((LAMBDA (,CURRENT-BINDING) . ,BODY) + ',OLD-DEF))) ) ( 'T - NEW-DEFINITION ) ) ) + (eval NEW-DEFINITION) ) ) ) ( 'T `((LAMBDA (,CURRENT-BINDING) ,NEW-DEFINITION) ',OLD-DEF))) ) ) |