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/BOOLEAN.lsp | 86 ++++++++++++++++++++++++++++++++++++++-----
 1 file changed, 76 insertions(+), 10 deletions(-)

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

diff --git a/src/algebra/strap/BOOLEAN.lsp b/src/algebra/strap/BOOLEAN.lsp
index 39b700a3..565c4386 100644
--- a/src/algebra/strap/BOOLEAN.lsp
+++ b/src/algebra/strap/BOOLEAN.lsp
@@ -1,18 +1,90 @@
 
 (/VERSIONCHECK 2) 
 
+(DECLAIM (FTYPE (FUNCTION (|%Boolean| |%Shell|) |%Boolean|)
+                |BOOLEAN;test;2$;1|)) 
+
 (PUT '|BOOLEAN;test;2$;1| '|SPADreplace| '(XLAM (|a|) |a|)) 
 
-(DEFUN |BOOLEAN;test;2$;1| (|a| $) |a|) 
+(DECLAIM (FTYPE (FUNCTION (|%Boolean| |%Shell|) |%Boolean|)
+                |BOOLEAN;nt|)) 
 
-(DEFUN |BOOLEAN;nt| (|b| $) (COND (|b| 'NIL) ('T 'T))) 
+(DECLAIM (FTYPE (FUNCTION (|%Shell|) |%Boolean|) |BOOLEAN;true;$;3|)) 
 
 (PUT '|BOOLEAN;true;$;3| '|SPADreplace| '(XLAM NIL 'T)) 
 
-(DEFUN |BOOLEAN;true;$;3| ($) 'T) 
+(DECLAIM (FTYPE (FUNCTION (|%Shell|) |%Boolean|) |BOOLEAN;false;$;4|)) 
 
 (PUT '|BOOLEAN;false;$;4| '|SPADreplace| '(XLAM NIL NIL)) 
 
+(DECLAIM (FTYPE (FUNCTION (|%Boolean| |%Shell|) |%Boolean|)
+                |BOOLEAN;not;2$;5|)) 
+
+(DECLAIM (FTYPE (FUNCTION (|%Boolean| |%Shell|) |%Boolean|)
+                |BOOLEAN;~;2$;6|)) 
+
+(DECLAIM (FTYPE (FUNCTION (|%Boolean| |%Boolean| |%Shell|) |%Boolean|)
+                |BOOLEAN;and;3$;7|)) 
+
+(DECLAIM (FTYPE (FUNCTION (|%Boolean| |%Boolean| |%Shell|) |%Boolean|)
+                |BOOLEAN;/\\;3$;8|)) 
+
+(DECLAIM (FTYPE (FUNCTION (|%Boolean| |%Boolean| |%Shell|) |%Boolean|)
+                |BOOLEAN;or;3$;9|)) 
+
+(DECLAIM (FTYPE (FUNCTION (|%Boolean| |%Boolean| |%Shell|) |%Boolean|)
+                |BOOLEAN;\\/;3$;10|)) 
+
+(DECLAIM (FTYPE (FUNCTION (|%Boolean| |%Boolean| |%Shell|) |%Boolean|)
+                |BOOLEAN;xor;3$;11|)) 
+
+(DECLAIM (FTYPE (FUNCTION (|%Boolean| |%Boolean| |%Shell|) |%Boolean|)
+                |BOOLEAN;nor;3$;12|)) 
+
+(DECLAIM (FTYPE (FUNCTION (|%Boolean| |%Boolean| |%Shell|) |%Boolean|)
+                |BOOLEAN;nand;3$;13|)) 
+
+(DECLAIM (FTYPE (FUNCTION (|%Boolean| |%Boolean| |%Shell|) |%Boolean|)
+                |BOOLEAN;=;3$;14|)) 
+
+(PUT '|BOOLEAN;=;3$;14| '|SPADreplace| 'EQ) 
+
+(DECLAIM (FTYPE (FUNCTION (|%Boolean| |%Boolean| |%Shell|) |%Boolean|)
+                |BOOLEAN;implies;3$;15|)) 
+
+(DECLAIM (FTYPE (FUNCTION (|%Boolean| |%Boolean| |%Shell|) |%Boolean|)
+                |BOOLEAN;equiv;3$;16|)) 
+
+(PUT '|BOOLEAN;equiv;3$;16| '|SPADreplace| 'EQ) 
+
+(DECLAIM (FTYPE (FUNCTION (|%Boolean| |%Boolean| |%Shell|) |%Boolean|)
+                |BOOLEAN;<;3$;17|)) 
+
+(DECLAIM (FTYPE (FUNCTION (|%Shell|) (|%IntegerSection| 0))
+                |BOOLEAN;size;Nni;18|)) 
+
+(PUT '|BOOLEAN;size;Nni;18| '|SPADreplace| '(XLAM NIL 2)) 
+
+(DECLAIM (FTYPE (FUNCTION ((|%IntegerSection| 1) |%Shell|) |%Boolean|)
+                |BOOLEAN;index;Pi$;19|)) 
+
+(DECLAIM (FTYPE (FUNCTION (|%Boolean| |%Shell|) (|%IntegerSection| 1))
+                |BOOLEAN;lookup;$Pi;20|)) 
+
+(DECLAIM (FTYPE (FUNCTION (|%Shell|) |%Boolean|) |BOOLEAN;random;$;21|)) 
+
+(DECLAIM (FTYPE (FUNCTION (|%Boolean| |%Shell|) |%Thing|)
+                |BOOLEAN;convert;$If;22|)) 
+
+(DECLAIM (FTYPE (FUNCTION (|%Boolean| |%Shell|) |%Thing|)
+                |BOOLEAN;coerce;$Of;23|)) 
+
+(DEFUN |BOOLEAN;test;2$;1| (|a| $) |a|) 
+
+(DEFUN |BOOLEAN;nt| (|b| $) (COND (|b| 'NIL) ('T 'T))) 
+
+(DEFUN |BOOLEAN;true;$;3| ($) 'T) 
+
 (DEFUN |BOOLEAN;false;$;4| ($) NIL) 
 
 (DEFUN |BOOLEAN;not;2$;5| (|b| $) (COND (|b| 'NIL) ('T 'T))) 
@@ -36,21 +108,15 @@
 (DEFUN |BOOLEAN;nand;3$;13| (|a| |b| $)
   (COND (|a| (|BOOLEAN;nt| |b| $)) ('T 'T))) 
 
-(PUT '|BOOLEAN;=;3$;14| '|SPADreplace| 'EQ) 
-
 (DEFUN |BOOLEAN;=;3$;14| (|a| |b| $) (EQ |a| |b|)) 
 
 (DEFUN |BOOLEAN;implies;3$;15| (|a| |b| $) (COND (|a| |b|) ('T 'T))) 
 
-(PUT '|BOOLEAN;equiv;3$;16| '|SPADreplace| 'EQ) 
-
 (DEFUN |BOOLEAN;equiv;3$;16| (|a| |b| $) (EQ |a| |b|)) 
 
 (DEFUN |BOOLEAN;<;3$;17| (|a| |b| $)
   (COND (|b| (|BOOLEAN;nt| |a| $)) ('T 'NIL))) 
 
-(PUT '|BOOLEAN;size;Nni;18| '|SPADreplace| '(XLAM NIL 2)) 
-
 (DEFUN |BOOLEAN;size;Nni;18| ($) 2) 
 
 (DEFUN |BOOLEAN;index;Pi$;19| (|i| $)
@@ -77,7 +143,7 @@
 (DEFUN |Boolean| ()
   (PROG ()
     (RETURN
-      (PROG (#0=#:G1422)
+      (PROG (#0=#:G1425)
         (RETURN
           (COND
             ((LETT #0# (HGET |$ConstructorCache| '|Boolean|) |Boolean|)
-- 
cgit v1.2.3