aboutsummaryrefslogtreecommitdiff
path: root/src/interp/i-analy.boot
diff options
context:
space:
mode:
authordos-reis <gdr@axiomatics.org>2009-08-14 10:48:09 +0000
committerdos-reis <gdr@axiomatics.org>2009-08-14 10:48:09 +0000
commitd2afe2366c2c592327cd0eb6593a3536a6eff54d (patch)
tree11438ab261e17b8ccdd1f91ba83bb3b93032ec5e /src/interp/i-analy.boot
parent9bcc210fb444e41fc45e6ccd9ef2be197337d3e8 (diff)
downloadopen-axiom-d2afe2366c2c592327cd0eb6593a3536a6eff54d.tar.gz
* boot/tokens.boot: Retire "^=". Introduce "~=".
* boot/ast.boot: Use "~=" instead of "^=". * boot/includer.boot: Likewise. * boot/translator.boot: Likewise. * interp/as.boot: Likewise. * interp/bc-misc.boot: Likewise. * interp/bc-solve.boot: Likewise. * interp/bc-util.boot: Likewise. * interp/br-con.boot: Likewise. * interp/br-data.boot: Likewise. * interp/br-op1.boot: Likewise. * interp/br-op2.boot: Likewise. * interp/br-prof.boot: Likewise. * interp/br-saturn.boot: Likewise. * interp/br-search.boot: Likewise. * interp/br-util.boot: Likewise. * interp/c-doc.boot: Likewise. * interp/c-util.boot: Likewise. * interp/category.boot: Likewise. * interp/cattable.boot: Likewise. * interp/clam.boot: Likewise. * interp/clammed.boot: Likewise. * interp/compiler.boot: Likewise. * interp/database.boot: Likewise. * interp/define.boot: Likewise. * interp/format.boot: Likewise. * interp/fortcall.boot: Likewise. * interp/functor.boot: Likewise. * interp/g-cndata.boot: Likewise. * interp/g-opt.boot: Likewise. * interp/g-timer.boot: Likewise. * interp/g-util.boot: Likewise. * interp/guess.boot: Likewise. * interp/ht-root.boot: Likewise. * interp/ht-util.boot: Likewise. * interp/htsetvar.boot: Likewise. * interp/i-analy.boot: Likewise. * interp/i-code.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-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-toplev.boot: Likewise. * interp/i-util.boot: Likewise. * interp/int-top.boot: Likewise. * interp/interop.boot: Likewise. * interp/intfile.boot: Likewise. * interp/lisplib.boot: Likewise. * interp/macex.boot: Likewise. * interp/mark.boot: Likewise. * interp/match.boot: Likewise. * interp/modemap.boot: Likewise. * interp/msg.boot: Likewise. * interp/msgdb.boot: Likewise. * interp/newfort.boot: Likewise. * interp/nruncomp.boot: Likewise. * interp/nrunfast.boot: Likewise. * interp/nrungo.boot: Likewise. * interp/nrunopt.boot: Likewise. * interp/parse.boot: Likewise. * interp/pathname.boot: Likewise. * interp/pf2atree.boot: Likewise. * interp/pf2sex.boot: Likewise. * interp/postpar.boot: Likewise. * interp/profile.boot: Likewise. * interp/pspad1.boot: Likewise. * interp/pspad2.boot: Likewise. * interp/record.boot: Likewise. * interp/scan.boot: Likewise. * interp/setvars.boot: Likewise. * interp/simpbool.boot: Likewise. * interp/slam.boot: Likewise. * interp/topics.boot: Likewise. * interp/trace.boot: Likewise. * interp/wi1.boot: Likewise. * interp/wi2.boot: Likewise. * interp/word.boot: Likewise.
Diffstat (limited to 'src/interp/i-analy.boot')
-rw-r--r--src/interp/i-analy.boot26
1 files changed, 13 insertions, 13 deletions
diff --git a/src/interp/i-analy.boot b/src/interp/i-analy.boot
index 22dd4389..bcf01ce8 100644
--- a/src/interp/i-analy.boot
+++ b/src/interp/i-analy.boot
@@ -139,7 +139,7 @@ pushDownTargetInfo(op,target,arglist) ==
op = "*" => -- only push down on 1st arg if not immed
if not getTarget CADR arglist then putTarget(CADR arglist,target)
getTarget(x := CAR arglist) => NIL
- if getUnname(x) ^= $immediateDataSymbol then putTarget(x,target)
+ if getUnname(x) ~= $immediateDataSymbol then putTarget(x,target)
op = "**" or op = "^" => -- push down on base
if not getTarget CAR arglist then putTarget(CAR arglist,target)
(op = 'equation) and (target is ['Equation,S]) =>
@@ -218,7 +218,7 @@ bottomUp t ==
-- As a side-effect it also evaluates the tree.
t is [op,:argl] =>
tar := getTarget op
- getUnname(op) ^= $immediateDataSymbol and (v := getValue op) =>
+ getUnname(op) ~= $immediateDataSymbol and (v := getValue op) =>
om := objMode(v)
null tar => [om]
(r := resolveTM(om,tar)) => [r]
@@ -236,7 +236,7 @@ bottomUp t ==
opVal := getValue op
-- call a special handler if we are not being package called
- dol := getAtree(op,'dollar) and (opName ^= 'construct)
+ dol := getAtree(op,'dollar) and (opName ~= 'construct)
(null dol) and (fn:= GETL(opName,"up")) and (u:= FUNCALL(fn, t)) => u
nargs := #argl
@@ -302,7 +302,7 @@ bottomUpCompile t ==
bottomUpUseSubdomain t ==
$useIntegerSubdomain : local := true
ms := bottomUp t
- ($immediateDataSymbol ^= getUnname(t)) or ($Integer ^= CAR(ms)) => ms
+ ($immediateDataSymbol ~= getUnname(t)) or ($Integer ~= CAR(ms)) => ms
null INTEGERP(num := objValUnwrap getValue t) => ms
o := getBasicObject(num)
putValue(t,o)
@@ -313,7 +313,7 @@ bottomUpUseSubdomain t ==
bottomUpPredicate(pred, name) ==
putTarget(pred,$Boolean)
ms := bottomUp pred
- $Boolean ^= first ms => throwKeyedMsg('"S2IB0001",[name])
+ $Boolean ~= first ms => throwKeyedMsg('"S2IB0001",[name])
ms
bottomUpCompilePredicate(pred, name) ==
@@ -363,7 +363,7 @@ bottomUpIdentifier(t,id) ==
tar := getTarget t
expr:= objVal u
om := objMode(u)
- (om ^= $EmptyMode) and (om isnt ['RuleCalled,.]) =>
+ (om ~= $EmptyMode) and (om isnt ['RuleCalled,.]) =>
$genValue or GENSYMP(id) =>
null tar => [om]
(r := resolveTM(om,tar)) => [r]
@@ -384,7 +384,7 @@ getConstantObject(id,dc,sig) ==
namedConstant(id,t) ==
-- for the time being, ignore the case where the target type is imposed.
- getTarget(t) ^= nil => nil
+ getTarget(t) ~= nil => nil
sysmms := getModemapsFromDatabase(id,0) or return nil
-- ignore polymorphic constants are not supported yet.
doms := [getDCFromSystemModemap sysmm for sysmm in sysmms]
@@ -619,7 +619,7 @@ bottomUpForm0(t,op,opName,argl,argModeSetList) ==
(u := bottomUpElt t) => u
bottomUpForm0(t,op,opName,argl,argModeSetList)
- (opName ^= "elt") and (opName ^= "apply") and
+ (opName ~= "elt") and (opName ~= "apply") and
#argl = 1 and first first argModeSetList is ['Variable, var]
and var in '(first last rest) and
isEltable(op, argl, #argl) and (u := bottomUpElt t) => u
@@ -627,7 +627,7 @@ bottomUpForm0(t,op,opName,argl,argModeSetList) ==
$genValue and
( u:= bottomUpFormRetract(t,op,opName,argl,argModeSetList) ) => u
- (opName ^= "elt") and (opName ^= "apply") and
+ (opName ~= "elt") and (opName ~= "apply") and
isEltable(op, argl, #argl) and (u := bottomUpElt t) => u
if FIXP $HTCompanionWindowID then
@@ -803,7 +803,7 @@ bottomUpFormAnyUnionRetract(t,op,opName,argl,amsl) ==
for x in argl for m in amsl for i in 0.. repeat
m0 := first m
if ( (m0 = $Any) or (first m0 = 'Union) ) and
- ('failed^=(object:=retract getValue x)) then
+ ('failed ~= (object:=retract getValue x)) then
b := true
RPLACA(m,objMode(object))
putModeSet(x,[objMode(object)])
@@ -826,7 +826,7 @@ bottomUpFormUntaggedUnionRetract(t,op,opName,argl,amsl) ==
for x in argl for m in amsl for i in 0.. repeat
m0 := first m
if (m0 is ['Union, :.] and null getUnionOrRecordTags m0) and
- ('failed ^= (object:=retract getValue x)) then
+ ('failed ~= (object:=retract getValue x)) then
b := true
RPLACA(m,objMode(object))
putModeSet(x,[objMode(object)])
@@ -878,11 +878,11 @@ isEltable(op,argl,numArgs) ==
ZEROP numArgs => true
m is ['Mapping, :.] => nil
true
- numArgs ^= 1 => nil
+ numArgs ~= 1 => nil
name := getUnname op
name = 'SEQ => nil
--not (name in '(a e h s)) and getAllModemapsFromDatabase(name, nil) => nil
arg := first argl
- (getUnname arg) ^= 'construct => nil
+ (getUnname arg) ~= 'construct => nil
true