diff options
| author | dos-reis <gdr@axiomatics.org> | 2010-07-25 00:12:57 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2010-07-25 00:12:57 +0000 |
| commit | f5181e8acaf34cb5a26a30bd3901a19485933c6d (patch) | |
| tree | e30eb7600dbe651222f96e3d977e052285475227 /src/algebra/strap/QFCAT-.lsp | |
| parent | c19e54f03e3230811e6c86998568ce63ccbc42c9 (diff) | |
| download | open-axiom-f5181e8acaf34cb5a26a30bd3901a19485933c6d.tar.gz | |
* interp/cattable.boot: Use %true for truth value in VM expressions.
* interp/clam.boot: Likewise.
* interp/define.boot: Likewise.
* interp/format.boot: Likewise.
* interp/functor.boot: Likewise.
* interp/g-opt.boot: Likewise.
* interp/mark.boot: Likewise.
* interp/pspad1.boot: Likewise.
* interp/pspad2.boot: Likewise.
* interp/slam.boot: Likewise.
* interp/wi1.boot: Likewise.
* interp/wi2.boot: Likewise.
* interp/sys-constants.boot: Remove $true and $false as unused.
Diffstat (limited to 'src/algebra/strap/QFCAT-.lsp')
| -rw-r--r-- | src/algebra/strap/QFCAT-.lsp | 32 |
1 files changed, 15 insertions, 17 deletions
diff --git a/src/algebra/strap/QFCAT-.lsp b/src/algebra/strap/QFCAT-.lsp index 49aa6887..8b0d783e 100644 --- a/src/algebra/strap/QFCAT-.lsp +++ b/src/algebra/strap/QFCAT-.lsp @@ -99,10 +99,9 @@ (COND ((EQL (CAR |m|) 1) (|error| "We seem to have a Fraction of a finite object")) - ('T - (CONS 0 - (SPADCALL (CDR |m|) (|spadConstant| $ 14) - (|getShellEntry| $ 15))))))) + (T (CONS 0 + (SPADCALL (CDR |m|) (|spadConstant| $ 14) + (|getShellEntry| $ 15))))))) (DEFUN |QFCAT-;map;M2A;5| (|fn| |x| $) (SPADCALL (SPADCALL (SPADCALL |x| (|getShellEntry| $ 8)) |fn|) @@ -210,7 +209,7 @@ (LET ((|r| (SPADCALL |x| (|getShellEntry| $ 63)))) (COND ((EQL (CAR |r|) 1) (CONS 1 "failed")) - ('T (SPADCALL (CDR |r|) (|getShellEntry| $ 65)))))) + (T (SPADCALL (CDR |r|) (|getShellEntry| $ 65)))))) (DEFUN |QFCAT-;convert;AP;19| (|x| $) (SPADCALL @@ -250,7 +249,7 @@ (LET ((|u| (SPADCALL |x| (|getShellEntry| $ 63)))) (COND ((EQL (CAR |u|) 1) (CONS 1 "failed")) - ('T (SPADCALL (CDR |u|) (|getShellEntry| $ 95)))))) + (T (SPADCALL (CDR |u|) (|getShellEntry| $ 95)))))) (DEFUN |QFCAT-;random;A;26| ($) (PROG (|d|) @@ -331,9 +330,8 @@ ((|HasAttribute| |#2| '|canonicalUnitNormal|) (|setShellEntry| $ 51 (CONS (|dispatchFunction| |QFCAT-;<;2AB;12|) $))) - ('T - (|setShellEntry| $ 51 - (CONS (|dispatchFunction| |QFCAT-;<;2AB;13|) $))))) + (T (|setShellEntry| $ 51 + (CONS (|dispatchFunction| |QFCAT-;<;2AB;13|) $))))) ((|testBitVector| |pv$| 10) (|setShellEntry| $ 51 (CONS (|dispatchFunction| |QFCAT-;<;2AB;14|) $)))) @@ -379,14 +377,14 @@ (CONS (|dispatchFunction| |QFCAT-;coerce;FA;23|) $)) (COND ((|domainEqual| |#2| (|Integer|))) - ('T - (PROGN - (|setShellEntry| $ 93 - (CONS (|dispatchFunction| |QFCAT-;retract;AI;24|) $)) - (|setShellEntry| $ 96 - (CONS (|dispatchFunction| - |QFCAT-;retractIfCan;AU;25|) - $)))))))) + (T (PROGN + (|setShellEntry| $ 93 + (CONS (|dispatchFunction| |QFCAT-;retract;AI;24|) + $)) + (|setShellEntry| $ 96 + (CONS (|dispatchFunction| + |QFCAT-;retractIfCan;AU;25|) + $)))))))) (COND ((|testBitVector| |pv$| 2) (|setShellEntry| $ 99 |