diff options
author | dos-reis <gdr@axiomatics.org> | 2010-07-01 18:01:01 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2010-07-01 18:01:01 +0000 |
commit | 39f049f645d6b8a7f412a1d2d4a15c1fd4b14efb (patch) | |
tree | cd5559a1a9ffecf674c6ba91796a6c3fec593f9e /src/graph/include/viewAlone.H1 | |
parent | d7ba76ec28cadc0dd9e2319938aabc91e92e1618 (diff) | |
download | open-axiom-39f049f645d6b8a7f412a1d2d4a15c1fd4b14efb.tar.gz |
* interp/define.boot (registerInlinableDomain): New.
(compAdd): Use it to promote base domains for inlining.
* interp/c-util.boot (lookupFunctionInstance): Foeld into
lookupDefiningFunction. Remove.
(lookupDefiningFunction): Evaluate only system domains to avoid
cycles.
Diffstat (limited to 'src/graph/include/viewAlone.H1')
0 files changed, 0 insertions, 0 deletions