diff options
author | dos-reis <gdr@axiomatics.org> | 2011-05-01 04:17:50 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2011-05-01 04:17:50 +0000 |
commit | dd6933dbbfb9d8247876e818c7053218944e70a3 (patch) | |
tree | 5feee0cf900fd7ce4701b11fbeb1b9e169045fd9 /src/interp/define.boot | |
parent | 590b110c303021694c0ed17008d1a3f526f04451 (diff) | |
download | open-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.boot | 12 |
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] |