diff options
author | dos-reis <gdr@axiomatics.org> | 2008-01-29 00:37:20 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2008-01-29 00:37:20 +0000 |
commit | 8376deea46219c43e78477d8a233605ad0c19ad9 (patch) | |
tree | fd3f81ad57600a9510ba6fff5373035cf5c09457 /src/boot/strap/ast.clisp | |
parent | a89f59d34f9db8923f25a596f09d9cf4d8eb666a (diff) | |
download | open-axiom-8376deea46219c43e78477d8a233605ad0c19ad9.tar.gz |
fix typos from last commit
Diffstat (limited to 'src/boot/strap/ast.clisp')
-rw-r--r-- | src/boot/strap/ast.clisp | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/src/boot/strap/ast.clisp b/src/boot/strap/ast.clisp index 83d6f8c1..3fc9fc07 100644 --- a/src/boot/strap/ast.clisp +++ b/src/boot/strap/ast.clisp @@ -139,11 +139,11 @@ (SETQ |$GenVarCounter| (+ |$GenVarCounter| 1)) (INTERN (CONCAT "bfVar#" (STRINGIMAGE |$GenVarCounter|))))))) -(DECLAIM (FTYPE (FUNCTION (|%List|) |%list|) |bfListOf|)) +(DECLAIM (FTYPE (FUNCTION (|%List|) |%List|) |bfListOf|)) (DEFUN |bfListOf| (|x|) (PROG () (RETURN |x|))) -(DECLAIM (FTYPE (FUNCTION (|%Thing|) |%List|) |bfListOf|)) +(DECLAIM (FTYPE (FUNCTION (|%Thing|) |%List|) |bfColon|)) (DEFUN |bfColon| (|x|) (PROG () (RETURN (LIST 'COLON |x|)))) @@ -2092,7 +2092,7 @@ (|bfMKPROGN| (LIST |a| |b| (CONS 'CASE (CONS (LIST 'CAR |g|) |c|)))))))) -(DECLAIM (FTYPE (FUNCTION (|%thing| |%List|) |%List|) |bfCaseItem|)) +(DECLAIM (FTYPE (FUNCTION (|%Thing| |%List|) |%List|) |bfCaseItems|)) (DEFUN |bfCaseItems| (|g| |x|) (PROG (|j| |ISTMP#1| |i|) @@ -2146,7 +2146,7 @@ (PROG () (RETURN (LIST (INTERN (CONCAT "CA" (|bfDs| |n|) "R")) |g|)))) -(DECLAIM (FTYPE (FUNCTION (|%Short|) |%Symbol|) |bfDs|)) +(DECLAIM (FTYPE (FUNCTION (|%Short|) |%String|) |bfDs|)) (DEFUN |bfDs| (|n|) (PROG () |