diff options
| author | dos-reis <gdr@axiomatics.org> | 2010-07-22 21:44:34 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2010-07-22 21:44:34 +0000 |
| commit | 024f4b2055594e528ec98e733bd50684b2366db0 (patch) | |
| tree | cf3da9fdf92fe71c354e720428fa4f4c43bb98b1 /src/algebra/strap/ISTRING.lsp | |
| parent | 510c2f70ce377d60eed221e46294767f7f548f5d (diff) | |
| download | open-axiom-024f4b2055594e528ec98e733bd50684b2366db0.tar.gz | |
* interp/g-util.boot (expandIeq): New expander for %ieq.
* interp/g-opt.boot (optIeq): New.
(optIadd): Likewise.
(optIsub): Likewise.
(optImul): Likewise.
(optIneg): Likewise.
(lispize): Remove.
Diffstat (limited to 'src/algebra/strap/ISTRING.lsp')
| -rw-r--r-- | src/algebra/strap/ISTRING.lsp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/algebra/strap/ISTRING.lsp b/src/algebra/strap/ISTRING.lsp index e8a3de19..e1760a16 100644 --- a/src/algebra/strap/ISTRING.lsp +++ b/src/algebra/strap/ISTRING.lsp @@ -134,7 +134,7 @@ (DEFUN |ISTRING;empty;$;2| ($) (MAKE-FULL-CVEC 0)) -(DEFUN |ISTRING;empty?;$B;3| (|s| $) (EQL (QCSIZE |s|) 0)) +(DEFUN |ISTRING;empty?;$B;3| (|s| $) (ZEROP (QCSIZE |s|))) (DEFUN |ISTRING;#;$Nni;4| (|s| $) (DECLARE (IGNORE $)) (QCSIZE |s|)) |