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/ChangeLog | |
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/ChangeLog')
-rw-r--r-- | src/ChangeLog | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/src/ChangeLog b/src/ChangeLog index 684720ba..dbb4c351 100644 --- a/src/ChangeLog +++ b/src/ChangeLog @@ -1,3 +1,12 @@ +2010-07-01 Gabriel Dos Reis <gdr@cs.tamu.edu> + + * 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. + 2010-06-30 Gabriel Dos Reis <gdr@cs.tamu.edu> * interp/c-util.boot (giveVariableSomeValue): New. |