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/PRIMARR.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/PRIMARR.lsp')
| -rw-r--r-- | src/algebra/strap/PRIMARR.lsp | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/src/algebra/strap/PRIMARR.lsp b/src/algebra/strap/PRIMARR.lsp index b9f73fa8..c2c29828 100644 --- a/src/algebra/strap/PRIMARR.lsp +++ b/src/algebra/strap/PRIMARR.lsp @@ -144,12 +144,12 @@ (|HasCategory| |#1| '(|OrderedSet|)) (|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| '|PrimitiveArray| (LIST |dv$1|) (CONS 1 $)) (|stuffDomainSlots| $) @@ -220,15 +220,15 @@ 7 30 0 1 3 0 0 0 0 9 1 3 0 0 6 0 9 1 1 0 34 0 1 2 0 19 9 0 1 1 7 31 0 1 1 6 6 0 1 2 0 33 23 0 1 2 0 0 0 6 17 2 - 0 19 23 0 1 3 8 0 0 20 20 1 2 8 0 0 - 21 1 3 8 0 0 6 6 1 2 8 0 0 22 1 2 0 + 0 19 23 0 1 3 9 0 0 20 20 1 2 9 0 0 + 21 1 3 9 0 0 6 6 1 2 9 0 0 22 1 2 0 19 0 0 1 2 7 19 6 0 1 1 0 20 0 1 1 0 19 0 1 0 0 0 11 2 0 0 0 25 1 2 0 6 0 9 14 3 0 6 0 9 6 1 2 0 0 0 9 1 2 0 0 0 25 1 2 7 7 6 0 1 2 0 7 23 0 1 3 0 0 0 0 9 1 1 0 0 0 1 1 3 29 0 1 1 0 0 20 1 1 0 0 32 1 2 0 0 6 0 1 2 0 0 0 0 1 - 2 0 0 0 6 1 1 9 28 0 1 2 0 19 23 0 1 + 2 0 0 0 6 1 1 8 28 0 1 2 0 19 23 0 1 2 5 19 0 0 1 2 5 19 0 0 1 2 7 19 0 0 1 2 5 19 0 0 1 2 5 19 0 0 1 1 0 7 0 8))))) |