diff options
author | dos-reis <gdr@axiomatics.org> | 2009-02-01 00:41:29 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2009-02-01 00:41:29 +0000 |
commit | 472141e074a2028f72b59ec1fb18c64da2b7cb36 (patch) | |
tree | fd2bd9170a97b43b17f918b4649ea549ea65c408 /src/algebra/strap/SETCAT-.lsp | |
parent | 8519b9831708f14b575d7896ac5d31a393d547f7 (diff) | |
download | open-axiom-472141e074a2028f72b59ec1fb18c64da2b7cb36.tar.gz |
* algebra/Makefile.pamphlet: Tidy layer 0 dependency.
SETCAT and SETCAT- are no longer required for bootstrap.
* algebra/SETCAT.lsp: Remove.
* algebra/SETCAT-.lsp: Likewise.
Diffstat (limited to 'src/algebra/strap/SETCAT-.lsp')
-rw-r--r-- | src/algebra/strap/SETCAT-.lsp | 44 |
1 files changed, 0 insertions, 44 deletions
diff --git a/src/algebra/strap/SETCAT-.lsp b/src/algebra/strap/SETCAT-.lsp deleted file mode 100644 index 72ddd996..00000000 --- a/src/algebra/strap/SETCAT-.lsp +++ /dev/null @@ -1,44 +0,0 @@ - -(/VERSIONCHECK 2) - -(DECLAIM (FTYPE (FUNCTION (|%Thing| |%Shell|) |%Short|) - |SETCAT-;hash;SSi;1|)) - -(PUT '|SETCAT-;hash;SSi;1| '|SPADreplace| 'SXHASH) - -(DECLAIM (FTYPE (FUNCTION (|%Thing| |%Shell|) |%String|) - |SETCAT-;latex;SS;2|)) - -(PUT '|SETCAT-;latex;SS;2| '|SPADreplace| - '(XLAM (|s|) "\\mbox{\\bf Unimplemented}")) - -(DEFUN |SETCAT-;hash;SSi;1| (|s| $) (DECLARE (IGNORE $)) (SXHASH |s|)) - -(DEFUN |SETCAT-;latex;SS;2| (|s| $) - (DECLARE (IGNORE $)) - "\\mbox{\\bf Unimplemented}") - -(DEFUN |SetCategory&| (|#1|) - (PROG (|dv$1| |dv$| $ |pv$|) - (RETURN - (PROGN - (LETT |dv$1| (|devaluate| |#1|) . #0=(|SetCategory&|)) - (LETT |dv$| (LIST '|SetCategory&| |dv$1|) . #0#) - (LETT $ (|newShell| 11) . #0#) - (|setShellEntry| $ 0 |dv$|) - (|setShellEntry| $ 3 - (LETT |pv$| (|buildPredVector| 0 0 NIL) . #0#)) - (|stuffDomainSlots| $) - (|setShellEntry| $ 6 |#1|) - $)))) - -(MAKEPROP '|SetCategory&| '|infovec| - (LIST '#(NIL NIL NIL NIL NIL NIL (|local| |#1|) (|SingleInteger|) - |SETCAT-;hash;SSi;1| (|String|) |SETCAT-;latex;SS;2|) - '#(|latex| 0 |hash| 5) 'NIL - (CONS (|makeByteWordVec2| 1 'NIL) - (CONS '#() - (CONS '#() - (|makeByteWordVec2| 10 - '(1 0 9 0 10 1 0 7 0 8))))) - '|lookupComplete|)) |