aboutsummaryrefslogtreecommitdiff
path: root/src/interp/i-coerfn.boot
diff options
context:
space:
mode:
authordos-reis <gdr@axiomatics.org>2009-09-26 00:33:26 +0000
committerdos-reis <gdr@axiomatics.org>2009-09-26 00:33:26 +0000
commit868f1d56a5bcd7d712855e98085e0e15d32a3264 (patch)
tree4d35d3eab5979f150c3ff32e91ef21bf2d6853be /src/interp/i-coerfn.boot
parent489cfd14dccfcaf7b0ebd41e9d0f8e081a9d1d9f (diff)
downloadopen-axiom-868f1d56a5bcd7d712855e98085e0e15d32a3264.tar.gz
* interp/as.boot: Clean up.
* interp/ax.boot: Likewise. * interp/br-con.boot: Likewise. * interp/br-data.boot: Likewise. * interp/br-op1.boot: Likewise. * interp/br-op2.boot: Likewise. * interp/br-saturn.boot: Likewise. * interp/br-search.boot: Likewise. * interp/c-util.boot: Likewise. * interp/category.boot: Likewise. * interp/cattable.boot: Likewise. * interp/clam.boot: Likewise. * interp/compiler.boot: Likewise. * interp/cstream.boot: Likewise. * interp/define.boot: Likewise. * interp/format.boot: Likewise. * interp/fortcall.boot: Likewise. * interp/functor.boot: Likewise. * interp/g-boot.boot: Likewise. * interp/g-opt.boot: Likewise. * interp/g-timer.boot: Likewise. * interp/guess.boot: Likewise. * interp/i-analy.boot: Likewise. * interp/i-coerce.boot: Likewise. * interp/i-coerfn.boot: Likewise. * interp/i-eval.boot: Likewise. * interp/i-funsel.boot: Likewise. * interp/i-intern.boot: Likewise. * interp/i-map.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/int-top.boot: Likewise. * interp/interop.boot: Likewise. * interp/lisplib.boot: Likewise. * interp/mark.boot: Likewise. * interp/modemap.boot: Likewise. * interp/msg.boot: Likewise. * interp/msgdb.boot: Likewise. * interp/newfort.boot: Likewise. * interp/nrunfast.boot: Likewise. * interp/nrungo.boot: Likewise. * interp/nrunopt.boot: Likewise. * interp/pf2atree.boot: Likewise. * interp/pile.boot: Likewise. * interp/pspad1.boot: Likewise. * interp/ptrees.boot: Likewise. * interp/scan.boot: Likewise. * interp/sfsfun.boot: Likewise. * interp/showimp.boot: Likewise. * interp/slam.boot: Likewise. * interp/trace.boot: Likewise. * interp/wi1.boot: Likewise. * interp/word.boot: Likewise.
Diffstat (limited to 'src/interp/i-coerfn.boot')
-rw-r--r--src/interp/i-coerfn.boot22
1 files changed, 11 insertions, 11 deletions
diff --git a/src/interp/i-coerfn.boot b/src/interp/i-coerfn.boot
index 3def27de..ff642d94 100644
--- a/src/interp/i-coerfn.boot
+++ b/src/interp/i-coerfn.boot
@@ -1533,13 +1533,13 @@ Un2E(x,source,target) ==
--% Variable
Var2OV(u,source,target is [.,vl]) ==
- sym := CADR source
+ sym := second source
u = '_$fromCoerceable_$ => member(sym,vl)
member(sym,vl) => position1(sym,vl)
coercionFailure()
Var2Dmp(u,source,target is [dmp,vl,S]) ==
- sym := CADR source
+ sym := second source
u = '_$fromCoerceable_$ => member(sym,vl) or canCoerce(source,S)
len := #vl
@@ -1550,7 +1550,7 @@ Var2Dmp(u,source,target is [dmp,vl,S]) ==
[[Zeros len,:objValUnwrap u]]
Var2Gdmp(u,source,target is [dmp,vl,S]) ==
- sym := CADR source
+ sym := second source
u = '_$fromCoerceable_$ => member(sym,vl) or canCoerce(source,S)
len := #vl
@@ -1561,7 +1561,7 @@ Var2Gdmp(u,source,target is [dmp,vl,S]) ==
[[Zeros len,:objValUnwrap u]]
Var2Mp(u,source,target is [mp,vl,S]) ==
- sym := CADR source
+ sym := second source
u = '_$fromCoerceable_$ => member(sym,vl) or canCoerce(source,S)
(n:= position1(u,vl)) ~= 0 =>
[1,n,[1,0,:getConstantFromDomain('(One),S)]]
@@ -1569,7 +1569,7 @@ Var2Mp(u,source,target is [mp,vl,S]) ==
[0,:objValUnwrap u]
Var2NDmp(u,source,target is [ndmp,vl,S]) ==
- sym := CADR source
+ sym := second source
u = '_$fromCoerceable_$ => member(sym,vl) or canCoerce(source,S)
len:= #vl
@@ -1580,7 +1580,7 @@ Var2NDmp(u,source,target is [ndmp,vl,S]) ==
[[Zeros len,:objValUnwrap(u)]]
Var2P(u,source,target is [poly,S]) ==
- sym := CADR source
+ sym := second source
u = '_$fromCoerceable_$ => true
-- first try to get it into an underdomain
@@ -1594,7 +1594,7 @@ Var2QF(u,source,target is [qf,S]) ==
u = '_$fromCoerceable_$ => canCoerce(source,S)
S = $Integer => coercionFailure()
- sym := CADR source
+ sym := second source
(u' := coerceInt(objNewWrap(u,source),S)) or coercionFailure()
[objValUnwrap u',:getConstantFromDomain('(One),S)]
@@ -1606,7 +1606,7 @@ Var2FS(u,source,target is [fs,S]) ==
objValUnwrap v
Var2Up(u,source,target is [up,x,S]) ==
- sym := CADR source
+ sym := second source
u = '_$fromCoerceable_$ => (sym = x) or canCoerce(source,S)
x=sym => [[1,:getConstantFromDomain('(One),S)]]
@@ -1614,7 +1614,7 @@ Var2Up(u,source,target is [up,x,S]) ==
[[0,:objValUnwrap u]]
Var2SUP(u,source,target is [sup,S]) ==
- sym := CADR source
+ sym := second source
u = '_$fromCoerceable_$ => (sym = "?") or canCoerce(source,S)
sym = "?" => [[1,:getConstantFromDomain('(One),S)]]
@@ -1622,7 +1622,7 @@ Var2SUP(u,source,target is [sup,S]) ==
[[0,:objValUnwrap u]]
Var2UpS(u,source,target is [ups,x,S]) ==
- sym := CADR source
+ sym := second source
u = '_$fromCoerceable_$ => (sym = x) or canCoerce(source,S)
mid := ['UnivariatePolynomial,x,S]
@@ -1635,7 +1635,7 @@ Var2UpS(u,source,target is [ups,x,S]) ==
objValUnwrap u
Var2OtherPS(u,source,target is [.,x,S]) ==
- sym := CADR source
+ sym := second source
mid := ['UnivariatePowerSeries,x,S]
u = '_$fromCoerceable_$ =>
(sym = x) or (canCoerce(source,mid) and canCoerce(mid,target))