diff options
author | dos-reis <gdr@axiomatics.org> | 2011-04-30 22:35:55 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2011-04-30 22:35:55 +0000 |
commit | 07fcfb463c0ea0ef40cc8886ee12c4dd20d9d759 (patch) | |
tree | 53c657a088647774a6387fc010ee7097f1bd7b26 /src/boot/strap/utility.clisp | |
parent | 42cf0984b569e49060252e536c0c7e7aee469873 (diff) | |
download | open-axiom-07fcfb463c0ea0ef40cc8886ee12c4dd20d9d759.tar.gz |
* boot/ast.boot (bfAppend): Write in full.
* interp/ptrees.boot (pfAppend): Likewise.
Diffstat (limited to 'src/boot/strap/utility.clisp')
-rw-r--r-- | src/boot/strap/utility.clisp | 15 |
1 files changed, 13 insertions, 2 deletions
diff --git a/src/boot/strap/utility.clisp b/src/boot/strap/utility.clisp index 48ac0037..2d531fd2 100644 --- a/src/boot/strap/utility.clisp +++ b/src/boot/strap/utility.clisp @@ -11,8 +11,19 @@ |setDifference| |applySubst| |applySubst!| |remove| |removeSymbol|)) -(DECLAIM (FTYPE (FUNCTION ((|%List| |%Symbol|) |%Symbol|) - (|%List| |%Symbol|)) +(DECLAIM (FTYPE (FUNCTION ((|%List| (|%List| |%Thing|))) + (|%List| |%Thing|)) + |append!|)) + +(DECLAIM (FTYPE (FUNCTION ((|%List| |%Thing|)) (|%List| |%Thing|)) + |copyList|)) + +(DECLAIM (FTYPE (FUNCTION ((|%List| |%Thing|)) + (|%Maybe| (|%Node| |%Thing|))) + |lastNode|)) + +(DECLAIM (FTYPE (FUNCTION ((|%List| |%Thing|) |%Symbol|) + (|%List| |%Thing|)) |removeSymbol|)) (DECLAIM (FTYPE (FUNCTION ((|%List| |%Thing|) |%Thing|) |