aboutsummaryrefslogtreecommitdiff
path: root/src/interp/define.boot
diff options
context:
space:
mode:
authordos-reis <gdr@axiomatics.org>2011-05-01 04:17:50 +0000
committerdos-reis <gdr@axiomatics.org>2011-05-01 04:17:50 +0000
commitdd6933dbbfb9d8247876e818c7053218944e70a3 (patch)
tree5feee0cf900fd7ce4701b11fbeb1b9e169045fd9 /src/interp/define.boot
parent590b110c303021694c0ed17008d1a3f526f04451 (diff)
downloadopen-axiom-dd6933dbbfb9d8247876e818c7053218944e70a3.tar.gz
* interp/buildom.boot: Replace use of EQSUBSTLIST with applySubst.
* interp/c-util.boot: Likewise. * interp/cattable.boot: Likewise. * interp/compiler.boot: Likewise. * interp/define.boot: Likewise. * interp/format.boot: Likewise. * interp/functor.boot: Likewise. * interp/hashcode.boot: Likewise. * interp/i-output.boot: Likewise. * interp/i-syscmd.boot: Likewise. * interp/lisplib.boot: Likewise. * interp/modemap.boot: Likewise. * interp/rulesets.boot: Likewise. * interp/slam.boot: Likewise. * interp/sys-macros.lisp (APPLYR, TAILFN, TAIL, rplac): Remove as unused.
Diffstat (limited to 'src/interp/define.boot')
-rw-r--r--src/interp/define.boot12
1 files changed, 7 insertions, 5 deletions
diff --git a/src/interp/define.boot b/src/interp/define.boot
index 961e3d3b..02c8a269 100644
--- a/src/interp/define.boot
+++ b/src/interp/define.boot
@@ -241,7 +241,7 @@ NRTmakeCategoryAlist() ==
sixEtc := [5 + i for i in 1..#$pairlis]
formals := ASSOCRIGHT $pairlis
for x in slot1 repeat
- x.first := EQSUBSTLIST(["$$",:sixEtc],['$,:formals],first x)
+ x.first := applySubst(pairList(['$,:formals],["$$",:sixEtc]),first x)
-----------code to make a new style slot4 -----------------
predList := ASSOCRIGHT slot1 --is list of predicate indices
maxPredList := "MAX"/predList
@@ -293,7 +293,7 @@ getExportCategory form ==
op is 'Union => ['UnionCategory,:argl]
functorModemap := getConstructorModemapFromDB op
[[.,target,:tl],:.] := functorModemap
- EQSUBSTLIST(argl,$FormalMapVariableList,target)
+ applySubst(pairList($FormalMapVariableList,argl),target)
NRTextendsCategory1(domform,exCategory,addForm) ==
addForm is ["%Comma",:r] =>
@@ -696,8 +696,10 @@ makeCategoryPredicates(form,u) ==
fn(u,nil) where
fn(u,pl) ==
u is ['Join,:.,a] => fn(a,pl)
- u is ["IF",p,:x] => fnl(x,insert(EQSUBSTLIST($mvl,$tvl,p),pl))
- u is ["has",:.] => insert(EQSUBSTLIST($mvl,$tvl,u),pl)
+ u is ["IF",p,:x] =>
+ fnl(x,insert(applySubst(pairList($tvl,$mvl),p),pl))
+ u is ["has",:.] =>
+ insert(applySubst(pairList($tvl,$mvl),u),pl)
u is [op,:.] and op in '(SIGNATURE ATTRIBUTE) => pl
atom u => pl
fnl(u,pl)
@@ -1354,7 +1356,7 @@ compDefineCapsuleFunction(df is ['DEF,form,signature,specialCases,body],
getSignatureFromMode(form,e) ==
getmode(opOf form,e) is ['Mapping,:signature] =>
#form~=#signature => stackAndThrow ["Wrong number of arguments: ",form]
- EQSUBSTLIST(form.args,take(# form.args,$FormalMapVariableList),signature)
+ applySubst(pairList($FormalMapVariableList,form.args),signature)
candidateSignatures(op,nmodes,slot1) ==
[sig for [[=op,sig,:.],:.] in slot1 | #sig = nmodes]