diff options
| author | dos-reis <gdr@axiomatics.org> | 2009-05-09 19:34:42 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2009-05-09 19:34:42 +0000 |
| commit | 4b4a0dc6ce39b7ee849f81ddf66355713f0cbf27 (patch) | |
| tree | c50785d865c040b210650401f6616f5a324fb595 /src | |
| parent | 5484d5179027a4599dbac35f17283b26297bc229 (diff) | |
| download | open-axiom-4b4a0dc6ce39b7ee849f81ddf66355713f0cbf27.tar.gz | |
* interp/compiler.boot (compApplication): Tidy.
Diffstat (limited to 'src')
| -rw-r--r-- | src/ChangeLog | 4 | ||||
| -rw-r--r-- | src/interp/compiler.boot | 6 |
2 files changed, 8 insertions, 2 deletions
diff --git a/src/ChangeLog b/src/ChangeLog index 5dd46aed..f5dbea5a 100644 --- a/src/ChangeLog +++ b/src/ChangeLog @@ -1,3 +1,7 @@ +2009-05-09 Gabriel Dos Reis <gdr@cs.tamu.edu> + + * interp/compiler.boot (compApplication): Tidy. + 2009-05-05 Gabriel Dos Reis <gdr@cs.tamu.edu> * algebra/op.spad.pamphlet (property$BasicOperator): Overload with diff --git a/src/interp/compiler.boot b/src/interp/compiler.boot index c45a5ce8..e51da828 100644 --- a/src/interp/compiler.boot +++ b/src/interp/compiler.boot @@ -706,8 +706,10 @@ compApplication(op,argl,m,T) == for x in argl for m in argml] argTl = "failed" => nil form:= - atom T.expr and not (MEMQ(op,$formalArgList) or MEMQ(T.expr,$formalArgList)) => - emitLocalCallInsn(T.expr,[a.expr for a in argTl],e) + atom T.expr and + not (MEMQ(op,$formalArgList) or MEMQ(T.expr,$formalArgList)) and + null get(T.expr,"value",e) => + emitLocalCallInsn(T.expr,[a.expr for a in argTl],e) ['call, ['applyFun, T.expr], :[a.expr for a in argTl]] coerce([form, retm, e],resolve(retm,m)) op = 'elt => nil |