diff options
author | dos-reis <gdr@axiomatics.org> | 2011-02-09 21:12:35 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2011-02-09 21:12:35 +0000 |
commit | e6d7d0e6a6a710b4a6ebcb0431dc19bbd666ced0 (patch) | |
tree | 256009958c8e69d2cd02ce2add85cf20a72bf9f5 /src/ChangeLog | |
parent | 5663732162b1010ab0b506c87f576f2b78c27994 (diff) | |
download | open-axiom-e6d7d0e6a6a710b4a6ebcb0431dc19bbd666ced0.tar.gz |
Add MappingCategory as a (builtin) category.
* interp/sys-constants.boot ($CategoryNames): Include MappingCategory.
* interp/g-cndata.boot (unabbrevSpecialForms): Handle
MappingCategory, RecordCategory, and UnionCategory.
* interp/buildom.boot (MappingCategory): New.
* interp/compiler.boot: Elaboration MappingCategory forms.
* interp/g-error.boot (needsToSplitMessage): Fix thinko from
type-based dispatch done by the Boot translator.
* interp/nrunfast.boot (builtinConstructor?): New.
(generalizedBuiltinConstructor?): Likewise.
(lazyMatch): Use them.
(newHasTest): Properly recognize all flavours of category forms.
Diffstat (limited to 'src/ChangeLog')
-rw-r--r-- | src/ChangeLog | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/src/ChangeLog b/src/ChangeLog index f506aadf..e3908535 100644 --- a/src/ChangeLog +++ b/src/ChangeLog @@ -1,3 +1,18 @@ +2011-02-09 Gabriel Dos Reis <gdr@cs.tamu.edu> + + Add MappingCategory as a (builtin) category. + * interp/sys-constants.boot ($CategoryNames): Include MappingCategory. + * interp/g-cndata.boot (unabbrevSpecialForms): Handle + MappingCategory, RecordCategory, and UnionCategory. + * interp/buildom.boot (MappingCategory): New. + * interp/compiler.boot: Elaboration MappingCategory forms. + * interp/g-error.boot (needsToSplitMessage): Fix thinko from + type-based dispatch done by the Boot translator. + * interp/nrunfast.boot (builtinConstructor?): New. + (generalizedBuiltinConstructor?): Likewise. + (lazyMatch): Use them. + (newHasTest): Properly recognize all flavours of category forms. + 2011-02-08 Gabriel Dos Reis <gdr@cs.tamu.edu> * interp/sys-constants.boot ($PrimitiveDomainNames): Remove. |