diff options
author | dos-reis <gdr@axiomatics.org> | 2010-02-23 05:22:37 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2010-02-23 05:22:37 +0000 |
commit | 3f8bdbabb7bfcf9b021fe1529e603e931b57bf13 (patch) | |
tree | 30bf7557f06171df29da384445a8b6f561db0b5b /src/interp/compiler.boot | |
parent | 3ca41ddb56efd927b46da41d9ce369c31538e3b3 (diff) | |
download | open-axiom-3f8bdbabb7bfcf9b021fe1529e603e931b57bf13.tar.gz |
Expand support for domain inlining to non-niladic functors.
* interp/compiler.boot (processInlineRequest): Now accept any
functor.
* interp/c-util.boot (lookupFunctionInstance): New.
(isFormal): Likewise.
(expandFormTemplate): Likewise.
(equalFormTemplate): Likewise.
(getFunctionTemplate): Likewise.
(lookupInheritedDefiningFunction): Likewise.
(lookupDefiningFunction): Likewise.
* interp/nruncomp.boot (optDeltaEntry): Tidy. Use
lookupDefiningFunction.
Diffstat (limited to 'src/interp/compiler.boot')
-rw-r--r-- | src/interp/compiler.boot | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/src/interp/compiler.boot b/src/interp/compiler.boot index cefcbc4e..44145fe9 100644 --- a/src/interp/compiler.boot +++ b/src/interp/compiler.boot @@ -2230,10 +2230,8 @@ processInlineRequest(t,e) == stackAndThrow('"%1b does not designate a domain",[t]) atom T.expr => stackWarning('"inline request for type variable %1bp is meaningless",[t]) - T.expr is [ctor] => - $optimizableConstructorNames := [ctor,:$optimizableConstructorNames] - -- Don't try too hard; the current domain evaluation is insane. - stackWarning('"Ignoring inline arequest for non-niladic type %1bp",[t]) + [ctor,:.] := T.expr + $optimizableConstructorNames := [ctor,:$optimizableConstructorNames] --% |