diff options
author | dos-reis <gdr@axiomatics.org> | 2008-10-04 04:19:11 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2008-10-04 04:19:11 +0000 |
commit | 87eee27996cc401e7d39f7f5c9a19841269f50fc (patch) | |
tree | 0d0a734049236b5a36372e9c0d5bb19283674bc5 /src/interp/define.boot | |
parent | f079f48492e884b9f0b8ec40b47964a38ef6de33 (diff) | |
download | open-axiom-87eee27996cc401e7d39f7f5c9a19841269f50fc.tar.gz |
* interp/c-util.boot (clearReplacement): New.
(getFunctionReplacement): Likewise.
(replaceSimpleFunctions): Likewise.
* interp/define.boot (spadCompileOrSetq): Use it.
Diffstat (limited to 'src/interp/define.boot')
-rw-r--r-- | src/interp/define.boot | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/interp/define.boot b/src/interp/define.boot index b607cd4b..5939cdcb 100644 --- a/src/interp/define.boot +++ b/src/interp/define.boot @@ -1231,6 +1231,9 @@ spadCompileOrSetq (form is [nam,[lam,vl,body]]) == renameParameter() == NUMBERP v or IDENTP v or STRINGP v => v GENSYM '"flag" + clearReplacement nam -- Make sure we have fresh info + if $optReplaceSimpleFunctions then + body := replaceSimpleFunctions body form := [nam,[lam,vl,body]] if vl is [:vl',E] and body is [nam',: =vl'] then |