aboutsummaryrefslogtreecommitdiff
path: root/src/algebra/strap/SETCAT-.lsp
diff options
context:
space:
mode:
authordos-reis <gdr@axiomatics.org>2009-02-01 00:41:29 +0000
committerdos-reis <gdr@axiomatics.org>2009-02-01 00:41:29 +0000
commit472141e074a2028f72b59ec1fb18c64da2b7cb36 (patch)
treefd2bd9170a97b43b17f918b4649ea549ea65c408 /src/algebra/strap/SETCAT-.lsp
parent8519b9831708f14b575d7896ac5d31a393d547f7 (diff)
downloadopen-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-.lsp44
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|))