From f6f972eda48c04d11d8790ee24b038d8762ba34b Mon Sep 17 00:00:00 2001 From: dos-reis Date: Sun, 2 Jan 2011 01:00:55 +0000 Subject: More cleanup --- src/algebra/strap/LIST.lsp | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) (limited to 'src/algebra/strap') diff --git a/src/algebra/strap/LIST.lsp b/src/algebra/strap/LIST.lsp index d2431d27..c0e755de 100644 --- a/src/algebra/strap/LIST.lsp +++ b/src/algebra/strap/LIST.lsp @@ -3,17 +3,18 @@ (DECLAIM (FTYPE (FUNCTION (|%Shell|) |%List|) |LIST;nil;$;1|)) -(PUT '|LIST;nil;$;1| '|SPADreplace| '(XLAM NIL NIL)) +(PUT '|LIST;nil;$;1| '|SPADreplace| '(XLAM NIL |%nil|)) (DECLAIM (FTYPE (FUNCTION (|%List| |%Shell|) |%Boolean|) |LIST;null;$B;2|)) -(PUT '|LIST;null;$B;2| '|SPADreplace| 'NULL) +(PUT '|LIST;null;$B;2| '|SPADreplace| + '(XLAM (|l|) (|%peq| |l| |%nil|))) (DECLAIM (FTYPE (FUNCTION (|%Thing| |%List| |%Shell|) |%List|) |LIST;cons;S2$;3|)) -(PUT '|LIST;cons;S2$;3| '|SPADreplace| 'CONS) +(PUT '|LIST;cons;S2$;3| '|SPADreplace| '|%makepair|) (DECLAIM (FTYPE (FUNCTION (|%List| |%List| |%Shell|) |%List|) |LIST;append;3$;4|)) -- cgit v1.2.3