aboutsummaryrefslogtreecommitdiff
path: root/src
diff options
context:
space:
mode:
authordos-reis <gdr@axiomatics.org>2012-02-27 06:40:47 +0000
committerdos-reis <gdr@axiomatics.org>2012-02-27 06:40:47 +0000
commit1b555159f3f2687fb937a12cec30383a440e9f5a (patch)
tree77c4daa7d6621336c7b95f725a74bc58e1951061 /src
parent5a8ab1eee58ce44dbdadc47b079b5925cbbf46b4 (diff)
downloadopen-axiom-1b555159f3f2687fb937a12cec30383a440e9f5a.tar.gz
* interp/nruncomp.boot (markOperation): New.
(optDeltaEntry): Implement better patch for last change. * interp/compiler.boot (compFormWithModemap): Undo last change.
Diffstat (limited to 'src')
-rw-r--r--src/ChangeLog6
-rw-r--r--src/interp/compiler.boot13
-rw-r--r--src/interp/nruncomp.boot7
3 files changed, 17 insertions, 9 deletions
diff --git a/src/ChangeLog b/src/ChangeLog
index b84d41f2..cfa1c262 100644
--- a/src/ChangeLog
+++ b/src/ChangeLog
@@ -1,3 +1,9 @@
+2012-02-27 Gabriel Dos Reis <gdr@cs.tamu.edu>
+
+ * interp/nruncomp.boot (markOperation): New.
+ (optDeltaEntry): Implement better patch for last change.
+ * interp/compiler.boot (compFormWithModemap): Undo last change.
+
2012-02-26 Gabriel Dos Reis <gdr@cs.tamu.edu>
* interp/compiler.boot (compFormWithModemap): Mark implementation
diff --git a/src/interp/compiler.boot b/src/interp/compiler.boot
index 5692bc63..9605b35b 100644
--- a/src/interp/compiler.boot
+++ b/src/interp/compiler.boot
@@ -217,8 +217,7 @@ emitLocalCallInsn(op,args,e) ==
applyMapping([op,:argl],m,e,ml) ==
#argl ~= #ml-1 => nil
- isCategoryForm(first ml,e) =>
- --is op a functor?
+ isCategoryForm(first ml,e) => --is op a functor?
pairlis := pairList($FormalMapVariableList,argl)
ml' := applySubst(pairlis,ml)
argl' :=
@@ -616,12 +615,12 @@ compFormWithModemap(form,m,e,modemap) ==
T :=
[x',target,e'] where
x':=
- args := [t.expr for t in Tl]
+ form' := [f,:[t.expr for t in Tl]]
target = $Category or isCategoryForm(target,e) =>
-- Constructor instantiations are direct calls
- ident? f and constructorDB f ~= nil => [f,:args]
+ ident? f and constructorDB f ~= nil => form'
-- Otherwise, this is an indirect call
- ['%call,f,:args]
+ ['%call,:form']
-- try to deal with new-style Unions where we know the conditions
op = "elt" and f is ['XLAM,:.] and ident?(z := first argl) and
(c := get(z,'condition,e)) and
@@ -630,9 +629,7 @@ compFormWithModemap(form,m,e,modemap) ==
-- first is a full tag, as placed by getInverseEnvironment
-- second is what getSuccessEnvironment will place there
['%tail,z]
- -- Mark atomic implementations as external
- f isnt [.,:.] => ['%call,['%external,f],:args]
- ['%call,f,:args]
+ ['%call,:form']
e':=
Tl ~= nil => last(Tl).env
e
diff --git a/src/interp/nruncomp.boot b/src/interp/nruncomp.boot
index 29372705..4d16baee 100644
--- a/src/interp/nruncomp.boot
+++ b/src/interp/nruncomp.boot
@@ -152,6 +152,11 @@ needToQuoteFlags?(sig,env) ==
selector?(t,e) ==
ident? t and null get(t,"value",e)
+markOperation f ==
+ f = nil => f
+ ident? f => ['%external,f]
+ f
+
optDeltaEntry(op,sig,dc,kind) ==
-- references to modemaps from current domain are folded in a later
-- stage of the compilation process.
@@ -180,7 +185,7 @@ optDeltaEntry(op,sig,dc,kind) ==
return fun'
cons? fun => first fun
fun
- getFunctionReplacement fun
+ markOperation getFunctionReplacement fun
++ True if we are interested only in abstract slot, not the actual
++ slot number in the template vector.