aboutsummaryrefslogtreecommitdiff
path: root/src/boot
diff options
context:
space:
mode:
Diffstat (limited to 'src/boot')
-rw-r--r--src/boot/ast.boot2
-rw-r--r--src/boot/strap/ast.clisp2
2 files changed, 2 insertions, 2 deletions
diff --git a/src/boot/ast.boot b/src/boot/ast.boot
index 561c8746..84e631e6 100644
--- a/src/boot/ast.boot
+++ b/src/boot/ast.boot
@@ -161,7 +161,7 @@ bfPile: %List %Form -> %List %Form
bfPile(part) ==
part
-bfAppend: %List %List %List %Form -> %List %Form
+bfAppend: %List %List %Form -> %List %Form
bfAppend ls ==
ls isnt [l,:ls] => nil
r := copyList l
diff --git a/src/boot/strap/ast.clisp b/src/boot/strap/ast.clisp
index 3a69097f..a020a01a 100644
--- a/src/boot/strap/ast.clisp
+++ b/src/boot/strap/ast.clisp
@@ -197,7 +197,7 @@
(DEFUN |bfPile| (|part|) |part|)
-(DECLAIM (FTYPE (FUNCTION ((|%List| (|%List| (|%List| |%Form|))))
+(DECLAIM (FTYPE (FUNCTION ((|%List| (|%List| |%Form|)))
(|%List| |%Form|))
|bfAppend|))