aboutsummaryrefslogtreecommitdiff
path: root/src/algebra/strap/BOOLEAN.lsp
diff options
context:
space:
mode:
authordos-reis <gdr@axiomatics.org>2009-08-16 14:17:40 +0000
committerdos-reis <gdr@axiomatics.org>2009-08-16 14:17:40 +0000
commitab480e7c03c9f3ab95856eaff6e6493882ff0c36 (patch)
treebba846f3e063f72834df5121dfff6d68ad7f4f91 /src/algebra/strap/BOOLEAN.lsp
parentd2afe2366c2c592327cd0eb6593a3536a6eff54d (diff)
downloadopen-axiom-ab480e7c03c9f3ab95856eaff6e6493882ff0c36.tar.gz
* interp/i-map.boot (addMap): Fix typo from last commit.
* interp/compiler.boot (compElt): Fix thinko, one more time. * interp/nruncomp.boot (optDeltaEntry): Don't overquote VM forms for constants. * algebra/algext.spad.pamphlet: Call niladic functions with empty argument lists. * algebra/ddfact.spad.pamphlet: Likewise. * algebra/gpgcd.spad.pamphlet: Likewise. * algebra/modmon.spad.pamphlet: Likewise. * algebra/pf.spad.pamphlet: Likewise. * algebra/polycat.spad.pamphlet: Likewise. * algebra/twofact.spad.pamphlet: Likewise. * algebra/list.spad.pamphlet: "nil" is now a ocnstant. * algebra/string.spad.pamphlet: "space", "quote", "escape" are now constants.
Diffstat (limited to 'src/algebra/strap/BOOLEAN.lsp')
-rw-r--r--src/algebra/strap/BOOLEAN.lsp15
1 files changed, 7 insertions, 8 deletions
diff --git a/src/algebra/strap/BOOLEAN.lsp b/src/algebra/strap/BOOLEAN.lsp
index d672850f..61b9fc33 100644
--- a/src/algebra/strap/BOOLEAN.lsp
+++ b/src/algebra/strap/BOOLEAN.lsp
@@ -94,7 +94,7 @@
(DEFUN |BOOLEAN;not;2$;4| (|b| $) (DECLARE (IGNORE $)) (NOT |b|))
-(DEFUN |BOOLEAN;~;2$;5| (|b| $) (COND (|b| 'NIL) ('T 'T)))
+(DEFUN |BOOLEAN;~;2$;5| (|b| $) (COND (|b| NIL) ('T T)))
(DEFUN |BOOLEAN;and;3$;6| (|a| |b| $)
(DECLARE (IGNORE $))
@@ -116,32 +116,31 @@
(COND (|a| (NOT |b|)) ('T |b|)))
(DEFUN |BOOLEAN;nor;3$;11| (|a| |b| $)
- (COND (|a| 'NIL) ('T (NOT |b|))))
+ (COND (|a| NIL) ('T (NOT |b|))))
-(DEFUN |BOOLEAN;nand;3$;12| (|a| |b| $)
- (COND (|a| (NOT |b|)) ('T 'T)))
+(DEFUN |BOOLEAN;nand;3$;12| (|a| |b| $) (COND (|a| (NOT |b|)) ('T T)))
(DEFUN |BOOLEAN;=;3$;13| (|a| |b| $)
(DECLARE (IGNORE $))
(EQ |a| |b|))
-(DEFUN |BOOLEAN;implies;3$;14| (|a| |b| $) (COND (|a| |b|) ('T 'T)))
+(DEFUN |BOOLEAN;implies;3$;14| (|a| |b| $) (COND (|a| |b|) ('T T)))
(DEFUN |BOOLEAN;equiv;3$;15| (|a| |b| $)
(DECLARE (IGNORE $))
(EQ |a| |b|))
-(DEFUN |BOOLEAN;<;3$;16| (|a| |b| $) (COND (|b| (NOT |a|)) ('T 'NIL)))
+(DEFUN |BOOLEAN;<;3$;16| (|a| |b| $) (COND (|b| (NOT |a|)) ('T NIL)))
(DEFUN |BOOLEAN;size;Nni;17| ($) (DECLARE (IGNORE $)) 2)
(DEFUN |BOOLEAN;index;Pi$;18| (|i| $)
- (COND ((SPADCALL |i| (|getShellEntry| $ 28)) 'NIL) ('T 'T)))
+ (COND ((SPADCALL |i| (|getShellEntry| $ 28)) NIL) ('T T)))
(DEFUN |BOOLEAN;lookup;$Pi;19| (|a| $) (COND (|a| 1) ('T 2)))
(DEFUN |BOOLEAN;random;$;20| ($)
- (COND ((SPADCALL (|random|) (|getShellEntry| $ 28)) 'NIL) ('T 'T)))
+ (COND ((SPADCALL (|random|) (|getShellEntry| $ 28)) NIL) ('T T)))
(DEFUN |BOOLEAN;convert;$If;21| (|x| $)
(COND (|x| '|true|) ('T '|false|)))