diff options
author | dos-reis <gdr@axiomatics.org> | 2009-08-16 14:17:40 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2009-08-16 14:17:40 +0000 |
commit | ab480e7c03c9f3ab95856eaff6e6493882ff0c36 (patch) | |
tree | bba846f3e063f72834df5121dfff6d68ad7f4f91 /src/algebra/strap/HOAGG-.lsp | |
parent | d2afe2366c2c592327cd0eb6593a3536a6eff54d (diff) | |
download | open-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/HOAGG-.lsp')
-rw-r--r-- | src/algebra/strap/HOAGG-.lsp | 14 |
1 files changed, 7 insertions, 7 deletions
diff --git a/src/algebra/strap/HOAGG-.lsp b/src/algebra/strap/HOAGG-.lsp index 0b0cd4b0..876ac7a3 100644 --- a/src/algebra/strap/HOAGG-.lsp +++ b/src/algebra/strap/HOAGG-.lsp @@ -62,7 +62,7 @@ (PROGN (LETT #1# (SPADCALL |x| |f|) |HOAGG-;any?;MAB;3|) (COND - (#3# (LETT #2# (COND (#2# 'T) ('T #1#)) + (#3# (LETT #2# (COND (#2# T) ('T #1#)) |HOAGG-;any?;MAB;3|)) ('T (PROGN @@ -70,7 +70,7 @@ (LETT #3# 'T |HOAGG-;any?;MAB;3|))))) (LETT #0# (CDR #0#) |HOAGG-;any?;MAB;3|) (GO G190) G191 (EXIT NIL)) - (COND (#3# #2#) ('T 'NIL))))))) + (COND (#3# #2#) ('T NIL))))))) (DEFUN |HOAGG-;every?;MAB;4| (|f| |c| $) (PROG (|x| #0=#:G1430 #1=#:G1412 #2=#:G1410 #3=#:G1411) @@ -90,7 +90,7 @@ (PROGN (LETT #1# (SPADCALL |x| |f|) |HOAGG-;every?;MAB;4|) (COND - (#3# (LETT #2# (COND (#2# #1#) ('T 'NIL)) + (#3# (LETT #2# (COND (#2# #1#) ('T NIL)) |HOAGG-;every?;MAB;4|)) ('T (PROGN @@ -98,7 +98,7 @@ (LETT #3# 'T |HOAGG-;every?;MAB;4|))))) (LETT #0# (CDR #0#) |HOAGG-;every?;MAB;4|) (GO G190) G191 (EXIT NIL)) - (COND (#3# #2#) ('T 'T))))))) + (COND (#3# #2#) ('T T))))))) (DEFUN |HOAGG-;count;MANni;5| (|f| |c| $) (PROG (|x| #0=#:G1431 #1=#:G1416 #2=#:G1414 #3=#:G1415) @@ -180,7 +180,7 @@ (SPADCALL |a| |b| (|getShellEntry| $ 30)) |HOAGG-;=;2AB;9|) (COND - (#4# (LETT #3# (COND (#3# #2#) ('T 'NIL)) + (#4# (LETT #3# (COND (#3# #2#) ('T NIL)) |HOAGG-;=;2AB;9|)) ('T (PROGN @@ -191,8 +191,8 @@ (LETT #0# (CDR #0#) |HOAGG-;=;2AB;9|)) |HOAGG-;=;2AB;9|) (GO G190) G191 (EXIT NIL)) - (COND (#4# #3#) ('T 'T)))) - ('T 'NIL)))))) + (COND (#4# #3#) ('T T)))) + ('T NIL)))))) (DEFUN |HOAGG-;coerce;AOf;10| (|x| $) (PROG (#0=#:G1434 |a| #1=#:G1435) |