aboutsummaryrefslogtreecommitdiff
path: root/src
diff options
context:
space:
mode:
authordos-reis <gdr@axiomatics.org>2010-02-11 08:47:31 +0000
committerdos-reis <gdr@axiomatics.org>2010-02-11 08:47:31 +0000
commite09e82b4e3e7546a4c12c0d80ca90ee95ea3f05c (patch)
treeb7ec89c5910f8559c9a56392ef0457c99cca1868 /src
parent1e3f42900fb3dea1ed131200db122d2541363ff5 (diff)
downloadopen-axiom-e09e82b4e3e7546a4c12c0d80ca90ee95ea3f05c.tar.gz
* algebra/boolean.spad.pamphlet (~$Boolean): Work around silly bug
in CLisp-2.48.
Diffstat (limited to 'src')
-rw-r--r--src/ChangeLog5
-rw-r--r--src/algebra/boolean.spad.pamphlet2
-rw-r--r--src/algebra/strap/BOOLEAN.lsp40
3 files changed, 27 insertions, 20 deletions
diff --git a/src/ChangeLog b/src/ChangeLog
index 61f2c020..e45dcef9 100644
--- a/src/ChangeLog
+++ b/src/ChangeLog
@@ -1,3 +1,8 @@
+2010-02-11 Gabriel Dos Reis <gdr@cs.tamu.edu>
+
+ * algebra/boolean.spad.pamphlet (~$Boolean): Work around silly bug
+ in CLisp-2.48.
+
2010-02-09 Gabriel Dos Reis <gdr@cs.tamu.edu>
* interp/vmlisp.lisp (NEQ): Remove.
diff --git a/src/algebra/boolean.spad.pamphlet b/src/algebra/boolean.spad.pamphlet
index 2ac487e1..08c39765 100644
--- a/src/algebra/boolean.spad.pamphlet
+++ b/src/algebra/boolean.spad.pamphlet
@@ -326,7 +326,7 @@ Boolean(): Join(OrderedFinite, Logic, PropositionalLogic, ConvertibleTo InputFor
false == NIL$Foreign(Builtin)
sample() == true
not b == NOT b
- ~ b == (b => false; true)
+ ~ b == NOT b
a and b == AND(a,b)
a /\ b == AND(a,b)
a or b == OR(a,b)
diff --git a/src/algebra/strap/BOOLEAN.lsp b/src/algebra/strap/BOOLEAN.lsp
index 5075ccfd..c808e229 100644
--- a/src/algebra/strap/BOOLEAN.lsp
+++ b/src/algebra/strap/BOOLEAN.lsp
@@ -22,6 +22,8 @@
(DECLAIM (FTYPE (FUNCTION (|%Boolean| |%Shell|) |%Boolean|)
|BOOLEAN;~;2$;5|))
+(PUT '|BOOLEAN;~;2$;5| '|SPADreplace| 'NOT)
+
(DECLAIM (FTYPE (FUNCTION (|%Boolean| |%Boolean| |%Shell|) |%Boolean|)
|BOOLEAN;and;3$;6|))
@@ -94,7 +96,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| $) (DECLARE (IGNORE $)) (NOT |b|))
(DEFUN |BOOLEAN;and;3$;6| (|a| |b| $)
(DECLARE (IGNORE $))
@@ -184,15 +186,15 @@
(FUNCALL (|dispatchFunction| |BOOLEAN;true;$;2|) $))
(CONS IDENTITY
(FUNCALL (|dispatchFunction| |BOOLEAN;false;$;3|) $))
- |BOOLEAN;not;2$;4| (|Boolean|) (0 . |false|) (4 . |true|)
- |BOOLEAN;~;2$;5| |BOOLEAN;and;3$;6| |BOOLEAN;/\\;3$;7|
- |BOOLEAN;or;3$;8| |BOOLEAN;\\/;3$;9| |BOOLEAN;xor;3$;10|
- |BOOLEAN;nor;3$;11| |BOOLEAN;nand;3$;12| |BOOLEAN;=;3$;13|
- |BOOLEAN;implies;3$;14| |BOOLEAN;equiv;3$;15|
- |BOOLEAN;<;3$;16| (|NonNegativeInteger|)
- |BOOLEAN;size;Nni;17| (|Integer|) (8 . |even?|)
- (|PositiveInteger|) |BOOLEAN;index;Pi$;18| (13 . |One|)
- |BOOLEAN;lookup;$Pi;19| (17 . |random|)
+ |BOOLEAN;not;2$;4| |BOOLEAN;~;2$;5| |BOOLEAN;and;3$;6|
+ |BOOLEAN;/\\;3$;7| |BOOLEAN;or;3$;8| |BOOLEAN;\\/;3$;9|
+ |BOOLEAN;xor;3$;10| (|Boolean|) (0 . |false|)
+ |BOOLEAN;nor;3$;11| (4 . |true|) |BOOLEAN;nand;3$;12|
+ |BOOLEAN;=;3$;13| |BOOLEAN;implies;3$;14|
+ |BOOLEAN;equiv;3$;15| |BOOLEAN;<;3$;16|
+ (|NonNegativeInteger|) |BOOLEAN;size;Nni;17| (|Integer|)
+ (8 . |even?|) (|PositiveInteger|) |BOOLEAN;index;Pi$;18|
+ (13 . |One|) |BOOLEAN;lookup;$Pi;19| (17 . |random|)
|BOOLEAN;random;$;20| (|InputForm|)
|BOOLEAN;convert;$If;21| (|OutputForm|)
|BOOLEAN;coerce;$Of;22| (|SingleInteger|) (|String|))
@@ -212,18 +214,18 @@
(|ConvertibleTo| 35) (|BasicType|)
(|CoercibleTo| 37))
(|makeByteWordVec2| 40
- '(0 10 0 11 0 10 0 12 1 27 10 0 28 0 29
- 0 31 0 27 0 33 2 0 10 0 0 1 1 0 0 0
- 13 2 0 0 0 0 18 0 0 0 7 1 0 0 0 6 0 0
- 25 26 0 0 0 34 2 0 0 0 0 16 1 0 0 0 9
- 2 0 0 0 0 19 2 0 0 0 0 20 0 0 0 1 2 0
+ '(0 16 0 17 0 16 0 19 1 27 16 0 28 0 29
+ 0 31 0 27 0 33 2 0 16 0 0 1 1 0 0 0
+ 10 2 0 0 0 0 15 0 0 0 7 1 0 0 0 6 0 0
+ 25 26 0 0 0 34 2 0 0 0 0 13 1 0 0 0 9
+ 2 0 0 0 0 18 2 0 0 0 0 20 0 0 0 1 2 0
0 0 0 1 0 0 0 1 2 0 0 0 0 1 1 0 29 0
32 1 0 40 0 1 1 0 0 29 30 2 0 0 0 0
22 1 0 39 0 1 0 0 0 8 2 0 0 0 0 23 1
- 0 35 0 36 1 0 37 0 38 2 0 10 0 0 1 2
- 0 0 0 0 14 2 0 0 0 0 17 2 0 10 0 0 1
- 2 0 10 0 0 1 2 0 10 0 0 21 2 0 10 0 0
- 1 2 0 10 0 0 24 2 0 0 0 0 15)))))
+ 0 35 0 36 1 0 37 0 38 2 0 16 0 0 1 2
+ 0 0 0 0 11 2 0 0 0 0 14 2 0 16 0 0 1
+ 2 0 16 0 0 1 2 0 16 0 0 21 2 0 16 0 0
+ 1 2 0 16 0 0 24 2 0 0 0 0 12)))))
'|lookupComplete|))
(MAKEPROP '|Boolean| 'NILADIC T)