diff options
author | dos-reis <gdr@axiomatics.org> | 2011-05-01 13:10:37 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2011-05-01 13:10:37 +0000 |
commit | 8ca7f8357b22f6a24eeafeeddc6d18270d5fa9ad (patch) | |
tree | 3f4b24390293908da86345a544971b8302a4490c /src/interp/define.boot | |
parent | dd6933dbbfb9d8247876e818c7053218944e70a3 (diff) | |
download | open-axiom-8ca7f8357b22f6a24eeafeeddc6d18270d5fa9ad.tar.gz |
* interp/vmlisp.lisp (EQSUBSTLIST): Remove.
* interp/c-util.boot (eqSubstAndCopy, eqSubst): Likewise. Adjust
callers.
Diffstat (limited to 'src/interp/define.boot')
-rw-r--r-- | src/interp/define.boot | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/interp/define.boot b/src/interp/define.boot index 02c8a269..4cc81d97 100644 --- a/src/interp/define.boot +++ b/src/interp/define.boot @@ -395,8 +395,8 @@ templateVal(template,domform,index) == ++ `pred' (a VM instruction form). Emit appropriate info into the ++ databases. emitSubdomainInfo(form,super,pred) == - pred := eqSubst($AtVariables,form.args,pred) - super := eqSubst($AtVariables,form.args,super) + pred := applySubst!(pairList(form.args,$AtVariables),pred) + super := applySubst!(pairList(form.args,$AtVariables),super) evalAndRwriteLispForm("evalOnLoad2",["noteSubDomainInfo", quoteForm form.op,quoteForm super, quoteForm pred]) @@ -739,7 +739,7 @@ mkCategoryPackage(form is [op,:argl],cat,def) == compDefineCategory2(form,signature,specialCases,body,m,e, $prefix,$formalArgList) == --1. bind global variables - $insideCategoryIfTrue: local:= true + $insideCategoryIfTrue: local := true $definition: local := form --used by DomainSubstitutionFunction $form: local := nil $op: local := nil |