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/interp/compiler.boot | |
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/interp/compiler.boot')
-rw-r--r-- | src/interp/compiler.boot | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/interp/compiler.boot b/src/interp/compiler.boot index b231b3db..3c928a81 100644 --- a/src/interp/compiler.boot +++ b/src/interp/compiler.boot @@ -2683,6 +2683,7 @@ for x in [["|", :"compSuchthat"],_ ["SubsetCategory", :"compSubsetCategory"],_ ["Union", :"compCat"],_ ["Mapping", :"compCat"],_ + ["MappingCategory", :"compConstructorCategory"],_ ["UnionCategory", :"compConstructorCategory"],_ ["where", :"compWhere"],_ ["per",:"compPer"],_ |