diff options
author | dos-reis <gdr@axiomatics.org> | 2010-03-04 11:15:19 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2010-03-04 11:15:19 +0000 |
commit | 82eaa6d96dbadd85f23913a80f163544517af5b0 (patch) | |
tree | 78c41013aba2a5b1fcb13c20c1ca09b4a039ae3d /src/interp/compiler.boot | |
parent | c633999fd009d1d69611fd968c040f4a3e8c08fc (diff) | |
download | open-axiom-82eaa6d96dbadd85f23913a80f163544517af5b0.tar.gz |
* interp/g-opt.boot (nominateForInlining): New.
(optimizableDomain?): Likewise.
(optCallSpecially): Use it
* interp/compiler.boot (processInlineRequest): Likewise.
* interp/nruncomp.boot (optDeltaEntry): Likewise.
* interp/wi2.boot (optDeltaEntry): Likewise.
Diffstat (limited to 'src/interp/compiler.boot')
-rw-r--r-- | src/interp/compiler.boot | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/src/interp/compiler.boot b/src/interp/compiler.boot index 93ae1330..12e8f363 100644 --- a/src/interp/compiler.boot +++ b/src/interp/compiler.boot @@ -2230,8 +2230,7 @@ processInlineRequest(t,e) == stackAndThrow('"%1b does not designate a domain",[t]) atom T.expr => stackWarning('"inline request for type variable %1bp is meaningless",[t]) - [ctor,:.] := T.expr - $optimizableConstructorNames := [ctor,:$optimizableConstructorNames] + nominateForInlining T.expr --% |