aboutsummaryrefslogtreecommitdiff
path: root/src/interp/compiler.boot
diff options
context:
space:
mode:
authordos-reis <gdr@axiomatics.org>2011-11-26 18:30:11 +0000
committerdos-reis <gdr@axiomatics.org>2011-11-26 18:30:11 +0000
commitd80f7180b482bb3f61954d1260aad9a9fac81fa7 (patch)
treef8c6f9fcd552004902f9150da21add3c4f72003c /src/interp/compiler.boot
parentfee9f94ea1e25df6b75df2e195500e1e97c574be (diff)
downloadopen-axiom-d80f7180b482bb3f61954d1260aad9a9fac81fa7.tar.gz
* interp/nruncomp.boot (genDeltaEntry): Split first argument into
separate arguments (operation and modemap). Adjust callers.
Diffstat (limited to 'src/interp/compiler.boot')
-rw-r--r--src/interp/compiler.boot12
1 files changed, 6 insertions, 6 deletions
diff --git a/src/interp/compiler.boot b/src/interp/compiler.boot
index b3743845..1b5fbe75 100644
--- a/src/interp/compiler.boot
+++ b/src/interp/compiler.boot
@@ -1327,7 +1327,7 @@ compElt(form,m,E) ==
mmList.0
[sig,[pred,val]]:= modemap
#sig ~= 2 and val isnt ["CONST",:.] => nil
- val := genDeltaEntry([opOf anOp,:modemap],E)
+ val := genDeltaEntry(opOf anOp,modemap,E)
coerce([['%call,val],second sig,E], m)
compForm(form,m,E)
@@ -1649,7 +1649,7 @@ compCase1(x,m,e) ==
| mm.mmSignature is [=$Boolean,s,t] and modeEqual(maybeSpliceMode t,m)
and modeEqual(s,m')] or return nil
fn := (or/[mm for mm in u | mm.mmCondition = true]) or return nil
- fn := genDeltaEntry(["case",:fn],e)
+ fn := genDeltaEntry("case",fn,e)
[['%call,fn,x',MKQ m],$Boolean,e']
@@ -1918,7 +1918,7 @@ coerceByModemap([x,m,e],m') ==
--mm:= (or/[mm for (mm:=[.,[cond,.]]) in u | cond=true]) or return nil
mm:=first u -- patch for non-trival conditons
- fn := genDeltaEntry(['coerce,:mm],e)
+ fn := genDeltaEntry('coerce,mm,e)
[['%call,fn,x],m',e]
autoCoerceByModemap([x,source,e],target) ==
@@ -1930,11 +1930,11 @@ autoCoerceByModemap([x,source,e],target) ==
source is ["Union",:l] and listMember?(target,l) =>
(y:= get(x,"condition",e)) and (or/[u is ["case",., =target] for u in y])
- => [['%call,genDeltaEntry(["autoCoerce", :fn],e),x],target,e]
+ => [['%call,genDeltaEntry("autoCoerce",fn,e),x],target,e]
x="$fromCoerceable$" => nil
stackMessage('"cannot coerce %1b of mode %2pb to %3pb without a case statement",
[x,source,target])
- [['%call,genDeltaEntry(["autoCoerce", :fn],e),x],target,e]
+ [['%call,genDeltaEntry("autoCoerce",fn,e),x],target,e]
++ Compile a comma separated expression list. These typically are
@@ -2031,7 +2031,7 @@ compViableModemap(op,argTl,mm,e) ==
-- information which is no longer valid; thus ignore this index and
-- store the signature instead.
f is [op1,.,.] and op1 in '(ELT CONST Subsumed) =>
- [genDeltaEntry([op,:mm],e),argTl]
+ [genDeltaEntry(op,mm,e),argTl]
[f,argTl]
compApplyModemap(form,modemap,$e) ==