diff options
author | dos-reis <gdr@axiomatics.org> | 2011-10-22 17:15:56 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2011-10-22 17:15:56 +0000 |
commit | eaa1adc1cb6ed9ec07ff56614700fe713ba6667c (patch) | |
tree | c37aeb6ed1ebfe0adbe0ced27a1402aa4dad043a /src/ChangeLog | |
parent | 5da95c1b34152d06c776e1c446a51c6703b46cc6 (diff) | |
download | open-axiom-eaa1adc1cb6ed9ec07ff56614700fe713ba6667c.tar.gz |
* interp/br-op2.boot (htSayExplicitExports): Don't forget possible
constant marker in exported signatures.
* interp/cattable.boot (simpHas): Likewise.
* interp/format.boot (form2String1): Likewise.
* interp/i-eval.boot (evaluateSignature): Likewise.
* interp/i-funsel.boot (hasCaty): Likewise.
(hasAttSig): Likewise.
* interp/define.boot (extendsCategory): Likewise.
(extendsCategoryBasic): Likewise.
(catExtendsCat?): Likewise.
(mkExportFromDescription): New.
(mkCategoryPackage): Use it.
* boot/tokens.boot: Add new selectors: mapOpsig, mapOperation,
mapPredicate, and mapImpl.
Diffstat (limited to 'src/ChangeLog')
-rw-r--r-- | src/ChangeLog | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/src/ChangeLog b/src/ChangeLog index 51d25618..c86f4e1b 100644 --- a/src/ChangeLog +++ b/src/ChangeLog @@ -1,3 +1,20 @@ +2011-10-22 Gabriel Dos Reis <gdr@cs.tamu.edu> + + * interp/br-op2.boot (htSayExplicitExports): Don't forget possible + constant marker in exported signatures. + * interp/cattable.boot (simpHas): Likewise. + * interp/format.boot (form2String1): Likewise. + * interp/i-eval.boot (evaluateSignature): Likewise. + * interp/i-funsel.boot (hasCaty): Likewise. + (hasAttSig): Likewise. + * interp/define.boot (extendsCategory): Likewise. + (extendsCategoryBasic): Likewise. + (catExtendsCat?): Likewise. + (mkExportFromDescription): New. + (mkCategoryPackage): Use it. + * boot/tokens.boot: Add new selectors: mapOpsig, mapOperation, + mapPredicate, and mapImpl. + 2011-10-21 Gabriel Dos Reis <gdr@cs.tamu.edu> * boot/tokens.boot: Add new selectors: mapOperation, mapSignature, |