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/ChangeLog | |
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/ChangeLog')
-rw-r--r-- | src/ChangeLog | 17 |
1 files changed, 16 insertions, 1 deletions
diff --git a/src/ChangeLog b/src/ChangeLog index 74841751..0010e2d3 100644 --- a/src/ChangeLog +++ b/src/ChangeLog @@ -1,10 +1,25 @@ +2010-02-22 Gabriel Dos Reis <gdr@cs.tamu.edu> + + 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. + 2010-02-20 Gabriel Dos Reis <gdr@cs.tamu.edu> * algebra/boolean.spad.pamphlet (PropositionalFormula): Reimplement in terms of kernels. * algebra/Makefile.pamphlet ($(OUT)/KERNEL.$(FASLEXT)): New dependence rule. - ($(OUT)PROPFRML.$(FASLEXT)): Likewise. + ($(OUT)/PROPFRML.$(FASLEXT)): Likewise. (axiom_algebra_layer_19): Move PROPFRML to... (axiom_algebra_layer_6): ...here. |