0.7.8.40:

        Fixed bug: FTYPE should accept any functional type specifier

diff --git a/src/compiler/ir1tran.lisp b/src/compiler/ir1tran.lisp
index 0002cb2..702cf50 100644 (file)
--- a/src/compiler/ir1tran.lisp
+++ b/src/compiler/ir1tran.lisp
@@ -944,7 +944,9 @@
 ;;; declarations that constrain the type of lexically apparent
 ;;; functions.
 (defun process-ftype-decl (spec res names fvars)
-  (declare (list spec names fvars) (type lexenv res))
+  (declare (type type-specifier spec)
+           (type list names fvars)
+           (type lexenv res))
   (let ((type (compiler-specifier-type spec)))
     (collect ((res nil cons))
       (dolist (name names)

diff --git a/tests/compiler.pure.lisp b/tests/compiler.pure.lisp
index 58baf1f..5abc69e 100644 (file)
--- a/tests/compiler.pure.lisp
+++ b/tests/compiler.pure.lisp
@@ -221,3 +221,6 @@
                                 s))))
   (assert (null result))
   (assert (typep error 'program-error)))
+
+;;; FTYPE should accept any functional type specifier
+(compile nil '(lambda (x) (declare (ftype function f)) (f x)))

diff --git a/version.lisp-expr b/version.lisp-expr
index 6e5ac6d..180a3ac 100644 (file)
--- a/version.lisp-expr
+++ b/version.lisp-expr
@@ -18,4 +18,4 @@
 ;;; versions, especially for internal versions off the main CVS
 ;;; branch, it gets hairier, e.g. "0.pre7.14.flaky4.13".)
 
-"0.7.8.39"
+"0.7.8.40"