From d338fac5f30034125dceaf6ab952018d8cba5a76 Mon Sep 17 00:00:00 2001
From: dos-reis <gdr@axiomatics.org>
Date: Sun, 14 Dec 2008 23:29:08 +0000
Subject:  r12459@gauss:  gdr | 2008-12-12 18:18:31 -0600  	Tidy
 compApplyModemap.  r12460@gauss:  gdr | 2008-12-13 09:24:50 -0600  	Tidy
 compMapCond.  r12461@gauss:  gdr | 2008-12-13 10:24:14 -0600  	Activate
 compViableModemap.  r12462@gauss:  gdr | 2008-12-13 11:18:17 -0600  	Remove
 pmatch and pmatchWithSl out of main compiler.  r12463@gauss:  gdr |
 2008-12-13 12:26:44 -0600  	Tidy compApplyModemap.  r12464@gauss:  gdr |
 2008-12-13 16:39:28 -0600  	Add compExclusiveOr.  r12465@gauss:  gdr |
 2008-12-13 16:54:58 -0600  	.  r12466@gauss:  gdr | 2008-12-14 15:01:33
 -0600  	Tidy compLogicalNot.

---
 src/algebra/strap/BOOLEAN.lsp | 16 +++++++++++++---
 1 file changed, 13 insertions(+), 3 deletions(-)

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

diff --git a/src/algebra/strap/BOOLEAN.lsp b/src/algebra/strap/BOOLEAN.lsp
index 1e367244..d654d918 100644
--- a/src/algebra/strap/BOOLEAN.lsp
+++ b/src/algebra/strap/BOOLEAN.lsp
@@ -20,18 +20,24 @@
 (DECLAIM (FTYPE (FUNCTION (|%Boolean| |%Shell|) |%Boolean|)
                 |BOOLEAN;not;2$;5|)) 
 
+(PUT '|BOOLEAN;not;2$;5| '|SPADreplace| 'NOT) 
+
 (DECLAIM (FTYPE (FUNCTION (|%Boolean| |%Shell|) |%Boolean|)
                 |BOOLEAN;~;2$;6|)) 
 
 (DECLAIM (FTYPE (FUNCTION (|%Boolean| |%Boolean| |%Shell|) |%Boolean|)
                 |BOOLEAN;and;3$;7|)) 
 
+(PUT '|BOOLEAN;and;3$;7| '|SPADreplace| 'AND) 
+
 (DECLAIM (FTYPE (FUNCTION (|%Boolean| |%Boolean| |%Shell|) |%Boolean|)
                 |BOOLEAN;/\\;3$;8|)) 
 
 (DECLAIM (FTYPE (FUNCTION (|%Boolean| |%Boolean| |%Shell|) |%Boolean|)
                 |BOOLEAN;or;3$;9|)) 
 
+(PUT '|BOOLEAN;or;3$;9| '|SPADreplace| 'OR) 
+
 (DECLAIM (FTYPE (FUNCTION (|%Boolean| |%Boolean| |%Shell|) |%Boolean|)
                 |BOOLEAN;\\/;3$;10|)) 
 
@@ -87,15 +93,19 @@
 
 (DEFUN |BOOLEAN;false;$;4| ($) (DECLARE (IGNORE $)) NIL) 
 
-(DEFUN |BOOLEAN;not;2$;5| (|b| $) (COND (|b| 'NIL) ('T 'T))) 
+(DEFUN |BOOLEAN;not;2$;5| (|b| $) (DECLARE (IGNORE $)) (NOT |b|)) 
 
 (DEFUN |BOOLEAN;~;2$;6| (|b| $) (COND (|b| 'NIL) ('T 'T))) 
 
-(DEFUN |BOOLEAN;and;3$;7| (|a| |b| $) (COND (|a| |b|) ('T 'NIL))) 
+(DEFUN |BOOLEAN;and;3$;7| (|a| |b| $)
+  (DECLARE (IGNORE $))
+  (AND |a| |b|)) 
 
 (DEFUN |BOOLEAN;/\\;3$;8| (|a| |b| $) (COND (|a| |b|) ('T 'NIL))) 
 
-(DEFUN |BOOLEAN;or;3$;9| (|a| |b| $) (COND (|a| 'T) ('T |b|))) 
+(DEFUN |BOOLEAN;or;3$;9| (|a| |b| $)
+  (DECLARE (IGNORE $))
+  (OR |a| |b|)) 
 
 (DEFUN |BOOLEAN;\\/;3$;10| (|a| |b| $) (COND (|a| 'T) ('T |b|))) 
 
-- 
cgit v1.2.3