diff options
| author | dos-reis <gdr@axiomatics.org> | 2010-10-27 19:36:50 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2010-10-27 19:36:50 +0000 |
| commit | cc748e363c46f17de6eee6e2fdf99fff3c340346 (patch) | |
| tree | 6d9e1b4b74d901da754ec4e2c51155de0457c87c /src/algebra/strap | |
| parent | 977f775f6a923edd1eb52b7b1c3a3d963e62049d (diff) | |
| download | open-axiom-cc748e363c46f17de6eee6e2fdf99fff3c340346.tar.gz | |
* interp/c-util.boot (makeCommonEnvironment): Use list node pointer
comparaison, not object comparaison.
Diffstat (limited to 'src/algebra/strap')
| -rw-r--r-- | src/algebra/strap/BOOLEAN.lsp | 2 | ||||
| -rw-r--r-- | src/algebra/strap/SINT.lsp | 11 |
2 files changed, 7 insertions, 6 deletions
diff --git a/src/algebra/strap/BOOLEAN.lsp b/src/algebra/strap/BOOLEAN.lsp index 370802b3..f23f32a4 100644 --- a/src/algebra/strap/BOOLEAN.lsp +++ b/src/algebra/strap/BOOLEAN.lsp @@ -197,7 +197,7 @@ 172 < 178 |/\\| 184) 'NIL (CONS (|makeByteWordVec2| 1 '(0 0 0 0 0 0 0 0 0 0 0 0)) - (CONS '#(NIL NIL NIL NIL NIL |SetCategory&| + (CONS '#(NIL NIL NIL NIL |BooleanLogic&| |SetCategory&| |OrderedType&| |Logic&| |BasicType&| NIL NIL NIL) (CONS '#((|OrderedFinite|) (|OrderedSet|) diff --git a/src/algebra/strap/SINT.lsp b/src/algebra/strap/SINT.lsp index e6b37647..cfb59ef4 100644 --- a/src/algebra/strap/SINT.lsp +++ b/src/algebra/strap/SINT.lsp @@ -627,11 +627,12 @@ |Ring&| NIL NIL NIL NIL NIL NIL |AbelianGroup&| NIL NIL NIL NIL NIL |AbelianMonoid&| |Monoid&| NIL NIL NIL NIL NIL - NIL |AbelianSemiGroup&| |SemiGroup&| NIL NIL - |DifferentialSpace&| |OrderedType&| - |SetCategory&| |Logic&| NIL |RetractableTo&| - |DifferentialDomain&| |BasicType&| NIL NIL NIL - NIL NIL NIL NIL NIL NIL NIL NIL) + NIL |AbelianSemiGroup&| |SemiGroup&| NIL + |BooleanLogic&| |DifferentialSpace&| + |OrderedType&| |SetCategory&| |Logic&| NIL + |RetractableTo&| |DifferentialDomain&| + |BasicType&| NIL NIL NIL NIL NIL NIL NIL NIL + NIL NIL NIL) (CONS '#((|IntegerNumberSystem|) (|EuclideanDomain|) (|UniqueFactorizationDomain|) |