From 5687e549faf2a00133c91dd21b48d876e0e2c449 Mon Sep 17 00:00:00 2001
From: dos-reis <gdr@axiomatics.org>
Date: Sat, 11 Oct 2008 21:16:28 +0000
Subject: Update algebra bootstrap cache.

---
 src/algebra/strap/LIST.lsp | 51 ++++++++++++++++++++++++++++++++++++++++------
 1 file changed, 45 insertions(+), 6 deletions(-)

(limited to 'src/algebra/strap/LIST.lsp')

diff --git a/src/algebra/strap/LIST.lsp b/src/algebra/strap/LIST.lsp
index 2cb74e75..97621b74 100644
--- a/src/algebra/strap/LIST.lsp
+++ b/src/algebra/strap/LIST.lsp
@@ -1,20 +1,59 @@
 
 (/VERSIONCHECK 2) 
 
+(DECLAIM (FTYPE (FUNCTION (|%Shell|) |%List|) |LIST;nil;$;1|)) 
+
 (PUT '|LIST;nil;$;1| '|SPADreplace| '(XLAM NIL NIL)) 
 
-(DEFUN |LIST;nil;$;1| ($) NIL) 
+(DECLAIM (FTYPE (FUNCTION (|%List| |%Shell|) |%Boolean|)
+                |LIST;null;$B;2|)) 
 
 (PUT '|LIST;null;$B;2| '|SPADreplace| 'NULL) 
 
-(DEFUN |LIST;null;$B;2| (|l| $) (NULL |l|)) 
+(DECLAIM (FTYPE (FUNCTION (|%Thing| |%List| |%Shell|) |%List|)
+                |LIST;cons;S2$;3|)) 
 
 (PUT '|LIST;cons;S2$;3| '|SPADreplace| 'CONS) 
 
-(DEFUN |LIST;cons;S2$;3| (|s| |l| $) (CONS |s| |l|)) 
+(DECLAIM (FTYPE (FUNCTION (|%List| |%List| |%Shell|) |%List|)
+                |LIST;append;3$;4|)) 
 
 (PUT '|LIST;append;3$;4| '|SPADreplace| 'APPEND) 
 
+(DECLAIM (FTYPE (FUNCTION (|%Thing| |%List| |%Shell|) |%Void|)
+                |LIST;writeOMList|)) 
+
+(DECLAIM (FTYPE (FUNCTION (|%List| |%Shell|) |%String|)
+                |LIST;OMwrite;$S;6|)) 
+
+(DECLAIM (FTYPE (FUNCTION (|%List| |%Boolean| |%Shell|) |%String|)
+                |LIST;OMwrite;$BS;7|)) 
+
+(DECLAIM (FTYPE (FUNCTION (|%Thing| |%List| |%Shell|) |%Void|)
+                |LIST;OMwrite;Omd$V;8|)) 
+
+(DECLAIM (FTYPE (FUNCTION (|%Thing| |%List| |%Boolean| |%Shell|)
+                    |%Void|)
+                |LIST;OMwrite;Omd$BV;9|)) 
+
+(DECLAIM (FTYPE (FUNCTION (|%List| |%List| |%Shell|) |%List|)
+                |LIST;setUnion;3$;10|)) 
+
+(DECLAIM (FTYPE (FUNCTION (|%List| |%List| |%Shell|) |%List|)
+                |LIST;setIntersection;3$;11|)) 
+
+(DECLAIM (FTYPE (FUNCTION (|%List| |%List| |%Shell|) |%List|)
+                |LIST;setDifference;3$;12|)) 
+
+(DECLAIM (FTYPE (FUNCTION (|%List| |%Shell|) |%Thing|)
+                |LIST;convert;$If;13|)) 
+
+(DEFUN |LIST;nil;$;1| ($) NIL) 
+
+(DEFUN |LIST;null;$B;2| (|l| $) (NULL |l|)) 
+
+(DEFUN |LIST;cons;S2$;3| (|s| |l| $) (CONS |s| |l|)) 
+
 (DEFUN |LIST;append;3$;4| (|l| |t| $) (APPEND |l| |t|)) 
 
 (DEFUN |LIST;writeOMList| (|dev| |x| $)
@@ -121,7 +160,7 @@
            (EXIT |lu|))))) 
 
 (DEFUN |LIST;convert;$If;13| (|x| $)
-  (PROG (#0=#:G1437 |a| #1=#:G1438)
+  (PROG (#0=#:G1447 |a| #1=#:G1448)
     (RETURN
       (SEQ (SPADCALL
                (CONS (SPADCALL
@@ -148,10 +187,10 @@
                             (GO G190) G191 (EXIT (NREVERSE0 #0#)))))
                (|getShellEntry| $ 44)))))) 
 
-(DEFUN |List| (#0=#:G1446)
+(DEFUN |List| (#0=#:G1449)
   (PROG ()
     (RETURN
-      (PROG (#1=#:G1447)
+      (PROG (#1=#:G1450)
         (RETURN
           (COND
             ((LETT #1#
-- 
cgit v1.2.3