diff options
author | dos-reis <gdr@axiomatics.org> | 2012-02-25 17:09:08 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2012-02-25 17:09:08 +0000 |
commit | ba636488b16b6fed9014dc1e51019622336b8425 (patch) | |
tree | 6887969c0c5dcb277ba9f1f58c3c88cf2e0e134f /src/interp/compiler.boot | |
parent | 8a5c9546715b162c9ed5113621c46e0a250de58f (diff) | |
download | open-axiom-ba636488b16b6fed9014dc1e51019622336b8425.tar.gz |
* interp/compiler.boot (finishLambdaExpression): Use %closure.
(extractCodeAndConstructTriple): Likewise.
* interp/g-opt.boot (optCall): Adjust.
Diffstat (limited to 'src/interp/compiler.boot')
-rw-r--r-- | src/interp/compiler.boot | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/src/interp/compiler.boot b/src/interp/compiler.boot index cdd57767..4a1cd153 100644 --- a/src/interp/compiler.boot +++ b/src/interp/compiler.boot @@ -92,7 +92,7 @@ compTopLevel: (%Form,%Mode,%Env) -> %Maybe %Triple compTopLevel(x,m,e) == -- signals that target is derived from lhs-- see NRTmakeSlot1Info $NRTderivedTargetIfTrue: local := false - $killOptimizeIfTrue: local:= false + $killOptimizeIfTrue: local := false $forceAdd: local:= false -- start with a base list of domains we may want to inline. $optimizableConstructorNames: local := $SystemInlinableConstructorNames @@ -335,10 +335,10 @@ finishLambdaExpression(expr is ["LAMBDA",vars,.],env) == vec := ['%vector,:reverse! vec] ["LAMBDA",[:vars,"$$"],:body] fname := ["CLOSEDFN",expandedFunction] --Like QUOTE, but gets compiled - ['%pair,fname,vec] + ['%closure,fname,vec] compWithMappingMode(x,m is ["Mapping",m',:sl],oldE) == - $killOptimizeIfTrue: local:= true + $killOptimizeIfTrue: local := true e := oldE isFunctor x => if get(x,"modemap",$CategoryFrame) is [[[.,target,:argModeList],.],:.] and @@ -364,7 +364,7 @@ extractCodeAndConstructTriple(u, m, oldE) == if fn is ['%apply,a] then fn := a [fn,m,oldE] [op,:.,env] := u - [['%pair,['%function,op],env],m,oldE] + [['%closure,['%function,op],env],m,oldE] compExpression(x,m,e) == $insideExpressionIfTrue: local:= true |