diff options
| author | dos-reis <gdr@axiomatics.org> | 2008-01-16 23:17:44 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2008-01-16 23:17:44 +0000 |
| commit | 85ba8eb449cf6b7e8c37b989021dfb803427ae5c (patch) | |
| tree | 021fed79b50829c985392c70da9e144a9ec7d3dc /src/interp | |
| parent | 71e48772bf2d5d0f12b221b62f851eca77c2ae7d (diff) | |
| download | open-axiom-85ba8eb449cf6b7e8c37b989021dfb803427ae5c.tar.gz | |
Fix SF/1848975
* interp/buildom.boot ($commonCategoryAncestors): New.
($commonCategoryDefaults): Likewise.
(Record0): Use it.
(Union): Likewise.
(Mapping): Likewise.
(Enumeration): Likewise.
* testsuite/algebra/1848975.input: New.
Diffstat (limited to 'src/interp')
| -rw-r--r-- | src/interp/buildom.boot | 17 |
1 files changed, 13 insertions, 4 deletions
diff --git a/src/interp/buildom.boot b/src/interp/buildom.boot index 586251b2..228ef863 100644 --- a/src/interp/buildom.boot +++ b/src/interp/buildom.boot @@ -43,6 +43,15 @@ import '"sys-macros" $noCategoryDomains == '(Domain Mode SubDomain) $nonLisplibDomains == APPEND($Primitives,$noCategoryDomains) +++ Category ancestors for Record, Union, Mapping, and Enumeration domains. +$commonCategoryAncestors == + ['(SetCategory), '(BasicType), '(CoercibleTo (OutputForm))] + +++ Default category packages for Record, Union, Mapping and +++ Enumeration domains. +$commonCategoryDefaults == + ['(SetCategory_&), '(BasicType_&), NIL] + --% Record -- Want to eventually have the elts and setelts. -- Record is a macro in BUILDOM LISP. It takes out the colons. @@ -66,7 +75,7 @@ Record0 args == dom.2 := NIL dom.3 := ["RecordCategory",:QCDR dom.0] dom.4 := - [[ '(SetCategory) ],[ '(SetCategory) ]] + [$commonCategoryDefaults, $commonCategoryAncestors] dom.5 := [CDR a for a in args] dom.6 := [function RecordEqual, :dom] dom.7 := [function RecordPrint, :dom] @@ -131,7 +140,7 @@ Union(:args) == dom.3 := '(SetCategory) dom.4 := - [[ '(SetCategory) ],[ '(SetCategory) ]] + [$commonCategoryDefaults, $commonCategoryAncestors] dom.5 := args dom.6 := [function UnionEqual, :dom] dom.7 := [function UnionPrint, :dom] @@ -183,7 +192,7 @@ Mapping(:args) == dom.3 := '(SetCategory) dom.4 := - [[ '(SetCategory) ],[ '(SetCategory) ]] + [$commonCategoryDefaults, $commonCategoryAncestors] dom.5 := args dom.6 := [function MappingEqual, :dom] dom.7 := [function MappingPrint, :dom] @@ -214,7 +223,7 @@ Enumeration(:"args") == dom.2 := NIL dom.3 := ["EnumerationCategory",:QCDR dom.0] dom.4 := - [[ '(SetCategory) ],[ '(SetCategory) ]] + [$commonCategoryDefaults, $commonCategoryAncestors] dom.5 := args dom.6 := [function EnumEqual, :dom] dom.7 := [function EnumPrint, :dom] |