diff options
author | dos-reis <gdr@axiomatics.org> | 2008-12-01 01:18:44 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2008-12-01 01:18:44 +0000 |
commit | e39cccd522e46e26e2e96ad6e130619dc98f8cce (patch) | |
tree | 70bf1d98bebeca961cfd0f707ad25eb4d828d4a1 /src/algebra/strap/LIST.lsp | |
parent | 676caa3f40f2c11544296700d728dc282e832e58 (diff) | |
download | open-axiom-e39cccd522e46e26e2e96ad6e130619dc98f8cce.tar.gz |
* interp/define.boot (disallowNiAttribute): Remove.
(compDefineFunctor1): Don't use it anymore.
(compCategoryItem): Filter out nil attributes here.
Diffstat (limited to 'src/algebra/strap/LIST.lsp')
-rw-r--r-- | src/algebra/strap/LIST.lsp | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/algebra/strap/LIST.lsp b/src/algebra/strap/LIST.lsp index 949f0960..c97fecf3 100644 --- a/src/algebra/strap/LIST.lsp +++ b/src/algebra/strap/LIST.lsp @@ -244,12 +244,12 @@ (|HasCategory| |#1| '(|OpenMath|)) (|HasCategory| (|Integer|) '(|OrderedSet|)) (|HasCategory| |#1| '(|SetCategory|)) + (|HasCategory| |#1| + '(|CoercibleTo| (|OutputForm|))) (AND (|HasCategory| |#1| '(|SetCategory|)) (|HasCategory| |#1| (LIST '|Evalable| - (|devaluate| |#1|)))) - (|HasCategory| |#1| - '(|CoercibleTo| (|OutputForm|))))) . #0#)) + (|devaluate| |#1|)))))) . #0#)) (|haddProp| |$ConstructorCache| '|List| (LIST |dv$1|) (CONS 1 $)) (|stuffDomainSlots| $) |