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/algebra/aggcat.spad.pamphlet | |
| 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/algebra/aggcat.spad.pamphlet')
0 files changed, 0 insertions, 0 deletions