diff options
author | dos-reis <gdr@axiomatics.org> | 2011-10-02 03:35:59 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2011-10-02 03:35:59 +0000 |
commit | 8640c7b9aa33084d77770f435814d1d8558c8e2e (patch) | |
tree | 968ff56d45b80dcc8ad3002703025cf27995e155 /src/interp/i-coerce.boot | |
parent | 496ca25659180bb29cc5fea2f3c0337695d742d3 (diff) | |
download | open-axiom-8640c7b9aa33084d77770f435814d1d8558c8e2e.tar.gz |
* boot/utility.boot (objectAssoc): New. Export.
* boot/ast.boot: Use it. instead of ASSOC.
* boot/translator.boot (packageBody): Tidy.
* interp/astr.boot: Use objectAssoc instead of ASSQ.
* interp/br-con.boot: Likewise.
* interp/br-op1.boot: Likewise.
* interp/br-saturn.boot: Likewise.
* interp/buildom.boot: Likewise.
* interp/c-util.boot: Likewise.
* interp/category.boot: Likewise.
* interp/clam.boot: Likewise.
* interp/compiler.boot: Likewise.
* interp/define.boot: Likewise.
* interp/functor.boot: Likewise.
* interp/g-util.boot: Likewise.
* interp/i-coerce.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-special.boot: Likewise.
* interp/i-syscmd.boot: Likewise.
* interp/i-util.boot: Likewise.
* interp/int-top.boot: Likewise.
* interp/lisplib.boot: Likewise.
* interp/msg.boot: Likewise.
* interp/posit.boot: Likewise.
* interp/termrw.boot: Likewise.
* interp/trace.boot: Likewise.
* interp/sys-utility.boot (upwardCut): New.
* interp/spad.lisp: Use it.
* interp/util.lisp: Likewise.
* interp/spaderror.lisp: Likewise.
* interp/vmlisp.lisp (ASSEMBLE): Remove.
(ASSQ): Likewise.
(MEMQ): Likewise.
(NAMEDERRSET): Likewise.
(ORADDTEMPDEFS): Likewise.
* interp/macros.lisp (QLASSQ): Move to vmlisp.lisp.
(LASSQ): Remove.
Diffstat (limited to 'src/interp/i-coerce.boot')
-rw-r--r-- | src/interp/i-coerce.boot | 16 |
1 files changed, 8 insertions, 8 deletions
diff --git a/src/interp/i-coerce.boot b/src/interp/i-coerce.boot index 1a0e5ec0..c668f46a 100644 --- a/src/interp/i-coerce.boot +++ b/src/interp/i-coerce.boot @@ -604,8 +604,8 @@ canCoerceTower(t1,t2) == canCoerceLocal(t1,t2) == -- test for coercion on top level - p:= ASSQ(first t1,$CoerceTable) - p and ASSQ(first t2,rest p) is [.,:[tag,fun]] => + p := objectAssoc(first t1,$CoerceTable) + p and objectAssoc(first t2,rest p) is [.,:[tag,fun]] => tag='partial => nil tag='total => true (functionp(fun) and @@ -619,8 +619,8 @@ canCoerceCommute(t1,t2) == -- looks for the existence of a commuting function symbolMember?(first(t1),(l := [$QuotientField, 'Gaussian])) and symbolMember?(first(t2),l) => true - p:= ASSQ(first t1,$CommuteTable) - p and ASSQ(first t2,rest p) is [.,:['commute,.]] + p := objectAssoc(first t1,$CommuteTable) + p and objectAssoc(first t2,rest p) is [.,:['commute,.]] newCanCoerceCommute(t1,t2) == coerceIntCommute(objNewWrap("$fromCoerceable$",t1),t2) @@ -1133,8 +1133,8 @@ coerceIntTableOrFunction(triple,t2) == null isValidType t2 => nil -- added 9-18-85 by RSS null isLegitimateMode(t2,nil,nil) => nil -- added 6-28-87 by RSS t1 := objMode triple - p:= ASSQ(first t1,$CoerceTable) - p and ASSQ(first t2,rest p) is [.,:[tag,fun]] => + p := objectAssoc(first t1,$CoerceTable) + p and objectAssoc(first t2,rest p) is [.,:[tag,fun]] => val := objVal triple fun='Identity => objNew(val,t2) tag='total => @@ -1275,8 +1275,8 @@ coerceIntTest(t1,t2) == -- thus the type can be bubbled before coerceIntTableOrFunction is called t1=t2 or b:= - p:= ASSQ(first t1,$CoerceTable) - p and ASSQ(first t2,rest p) + p := objectAssoc(first t1,$CoerceTable) + p and objectAssoc(first t2,rest p) b or coerceConvertMmSelection('coerce,t1,t2) or ($useConvertForCoercions and coerceConvertMmSelection('convert,t1,t2)) |