diff options
author | dos-reis <gdr@axiomatics.org> | 2010-05-08 16:42:11 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2010-05-08 16:42:11 +0000 |
commit | 20462739ac81a89fa81ff9576969c7a8d8952ea3 (patch) | |
tree | 7a244e33858c5d50dfd225d1405d4487bfe8fc08 /src/interp/i-funsel.boot | |
parent | 9306af57a53ceace77f8f0cfea65f6ceed76d5c1 (diff) | |
download | open-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.boot | 16 |
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 |