diff options
author | dos-reis <gdr@axiomatics.org> | 2010-06-25 03:44:16 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2010-06-25 03:44:16 +0000 |
commit | 094e16ae834eaf254a85781d759e0399a9269fb1 (patch) | |
tree | e5e237ccddba087d995b9b1c879db3165f62d476 /src/algebra/strap/SINT.lsp | |
parent | 2341ec9865ba01ce326f6eb46bddef32cb2a83b8 (diff) | |
download | open-axiom-094e16ae834eaf254a85781d759e0399a9269fb1.tar.gz |
* interp/c-util.boot (expandableDefinition?): Try to make it a
forwarding function if possible.
Diffstat (limited to 'src/algebra/strap/SINT.lsp')
-rw-r--r-- | src/algebra/strap/SINT.lsp | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/src/algebra/strap/SINT.lsp b/src/algebra/strap/SINT.lsp index 7aaa1956..4dcb6617 100644 --- a/src/algebra/strap/SINT.lsp +++ b/src/algebra/strap/SINT.lsp @@ -278,11 +278,9 @@ (DECLAIM (FTYPE (FUNCTION (|%Short| |%Shell|) |%Shell|) |SINT;unitNormal;$R;62|)) -(PUT '|SINT;and;3$;22| '|SPADreplace| - '(XLAM (|x| |y|) (LOGAND |x| |y|))) +(PUT '|SINT;and;3$;22| '|SPADreplace| 'LOGAND) -(PUT '|SINT;or;3$;24| '|SPADreplace| - '(XLAM (|x| |y|) (LOGIOR |x| |y|))) +(PUT '|SINT;or;3$;24| '|SPADreplace| 'LOGIOR) (PUT '|SINT;one?;$B;44| '|SPADreplace| '(XLAM (|x|) (|%ieq| |x| 1))) |