aboutsummaryrefslogtreecommitdiff
path: root/src/interp/i-funsel.boot
diff options
context:
space:
mode:
authordos-reis <gdr@axiomatics.org>2010-05-08 16:42:11 +0000
committerdos-reis <gdr@axiomatics.org>2010-05-08 16:42:11 +0000
commit20462739ac81a89fa81ff9576969c7a8d8952ea3 (patch)
tree7a244e33858c5d50dfd225d1405d4487bfe8fc08 /src/interp/i-funsel.boot
parent9306af57a53ceace77f8f0cfea65f6ceed76d5c1 (diff)
downloadopen-axiom-20462739ac81a89fa81ff9576969c7a8d8952ea3.tar.gz
* interp/as.boot: Replace uses of RPLACA and RPLACD with explicit
assignment to first and rest fields. * interp/astr.boot: Likewise. * interp/br-con.boot: Likewise. * interp/br-data.boot: Likewise. * interp/br-op1.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/clam.boot: Likewise. * interp/compiler.boot: Likewise. * interp/compress.boot: Likewise. * interp/cparse.boot: Likewise. * interp/cstream.boot: Likewise. * interp/database.boot: Likewise. * interp/define.boot: Likewise. * interp/dq.boot: Likewise. * interp/functor.boot: Likewise. * interp/g-opt.boot: Likewise. * interp/g-util.boot: Likewise. * interp/guess.boot: Likewise. * interp/ht-util.boot: Likewise. * interp/i-analy.boot: Likewise. * interp/i-coerfn.boot: Likewise. * interp/i-funsel.boot: Likewise. * interp/i-object.boot: Likewise. * interp/i-output.boot: Likewise. * interp/i-resolv.boot: Likewise. * interp/i-spec1.boot: Likewise. * interp/i-spec2.boot: Likewise. * interp/i-syscmd.boot: Likewise. * interp/i-util.boot: Likewise. * interp/interop.boot: Likewise. * interp/mark.boot: Likewise. * interp/modemap.boot: Likewise. * interp/msgdb.boot: Likewise. * interp/newfort.boot: Likewise. * interp/nruncomp.boot: Likewise. * interp/nrunopt.boot: Likewise. * interp/packtran.boot: Likewise. * interp/showimp.boot: Likewise. * interp/termrw.boot: Likewise. * interp/topics.boot: Likewise. * interp/trace.boot: Likewise. * interp/wi2.boot: Likewise. * interp/word.boot: Likewise.
Diffstat (limited to 'src/interp/i-funsel.boot')
-rw-r--r--src/interp/i-funsel.boot16
1 files changed, 8 insertions, 8 deletions
diff --git a/src/interp/i-funsel.boot b/src/interp/i-funsel.boot
index 7bb306f4..5ac3cc8a 100644
--- a/src/interp/i-funsel.boot
+++ b/src/interp/i-funsel.boot
@@ -115,7 +115,7 @@ selectMms(op,args,$declaredMode) ==
bottomUp tree
val := getValue tree
types1 := [objMode val,:rest types1]
- RPLACA(args,tree)
+ args.first := tree
if numArgs = 1 and (n = "numer" or n = "denom") and
isEqualOrSubDomain(first types1,$Integer) and null dc then
@@ -646,7 +646,7 @@ orderMms(name, mmS,args1,args2,tar) ==
S:= mS
until b repeat
b:= null rest S or m < CAADR S =>
- RPLACD(S,CONS(p,rest S))
+ S.rest := CONS(p,rest S)
S:= rest S
mS
mmS and [rest p for p in mS]
@@ -1127,12 +1127,12 @@ matchTypes(pm,args1,args2) ==
t=t1 => $Coerce and t1 = $Symbol and
(q := ASSQ(v,$SymbolType)) and t2 and
(t3 := resolveTT(rest q, t2)) and
- RPLACD(q, t3)
+ (q.rest := t3)
$Coerce =>
if t = $Symbol and (q := ASSQ(v,$SymbolType)) then
t := rest q
if t1 = $Symbol and t2 then t1:= t2
- t0 := resolveTT(t,t1) => RPLACD(p,t0)
+ t0 := resolveTT(t,t1) => p.rest := t0
$Subst:= 'failed
$Subst:= 'failed
$Subst:= CONS(CONS(v,t1),$Subst)
@@ -1222,15 +1222,15 @@ evalMmCond0(op,sig,st) ==
canCoerceFrom(t,t1) => 'T
NIL
canCoerceFrom(t1,t) => 'T
- isSubDomain(t,t1) => RPLACD(p,t1)
+ isSubDomain(t,t1) => p.rest := t1
t1 = $Symbol and canCoerceFrom(getSymbolType first p,t)
( SL and p1 and not b and 'failed ) or evalMmCat(op,sig,st,SL)
fixUpTypeArgs SL ==
for (p := [v, :t2]) in SL repeat
t1 := LASSOC(v, $Subst)
- null t1 => RPLACD(p,replaceSharpCalls t2)
- RPLACD(p, coerceTypeArgs(t1, t2, SL))
+ null t1 => p.rest := replaceSharpCalls t2
+ p.rest := coerceTypeArgs(t1, t2, SL)
SL
replaceSharpCalls t ==
@@ -1351,7 +1351,7 @@ evalMmCat1(mmC is ['ofCategory,d,c],op, SL) ==
NSL:= hasCate(d,c,SL)
NSL='failed and isPatternVar d and $Coerce and ( p:= ASSQ(d,$Subst) )
and (rest(p) is ["Variable",:.] or rest(p) = $Symbol) =>
- RPLACD(p,getSymbolType d)
+ p.rest := getSymbolType d
hasCate(d,c,SL)
NSL='failed and isPatternVar d =>
-- following is hack to take care of the case where we have a