diff options
| author | dos-reis <gdr@axiomatics.org> | 2011-04-29 09:51:00 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2011-04-29 09:51:00 +0000 |
| commit | 52889faf70db19459d18fd18123635479e7266d1 (patch) | |
| tree | dd020d1d4dc6c245bdec5f7b6c2594d4e6f77a18 /src/interp/buildom.boot | |
| parent | 75b600291e154f55fe8d6d10658980315204ced2 (diff) | |
| download | open-axiom-52889faf70db19459d18fd18123635479e7266d1.tar.gz | |
* boot/utility.boot (assocSymbol): New.
(applySubst): Likewise. Export.
* boot/ast.boot: Use it. Remove SUBLIS and SUBLISLIS.
* interp/ax.boot: Likewise.
* interp/br-con.boot: Likewise.
* interp/br-op1.boot: Likewise.
* interp/br-op2.boot: Likewise.
* interp/br-prof.boot: Likewise.
* interp/br-saturn.boot: Likewise.
* interp/buildom.boot: Likewise.
* interp/c-doc.boot: Likewise.
* interp/c-util.boot: Likewise.
* interp/cattable.boot: Likewise.
* interp/compiler.boot: Likewise.
Diffstat (limited to 'src/interp/buildom.boot')
| -rw-r--r-- | src/interp/buildom.boot | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/src/interp/buildom.boot b/src/interp/buildom.boot index 7720c423..89115403 100644 --- a/src/interp/buildom.boot +++ b/src/interp/buildom.boot @@ -95,9 +95,9 @@ lookupPred(pred,dollar,domain) == keyedSystemError("S2NR0002",[pred]) substDollarArgs(dollar,domain,object) == - form := devaluate domain - SUBLISLIS([devaluate dollar,:rest form], - ["$",:$FormalMapVariableList],object) + form := devaluate domain + applySubst(pairList(["$",:$FormalMapVariableList],[devaluate dollar,:rest form]), + object) compareSig(sig,tableSig,dollar,domain) == not (#sig = #tableSig) => false @@ -215,8 +215,8 @@ NRTreplaceLocalTypes(t,dom) == t substDomainArgs(domain,object) == - form := devaluate domain - SUBLISLIS([form,:rest form],["$$",:$FormalMapVariableList],object) + form := devaluate domain + applySubst(pairList(["$$",:$FormalMapVariableList],[form,:rest form]),object) --======================================================= -- Category Default Lookup (from goGet or lookupInAddChain) |