Commit 75514be2 authored by pfdietz's avatar pfdietz

Tests that (function ...) type specifiers are accepted in type declarations of variables.

parent 750aff4b
......@@ -92,3 +92,13 @@
;;;(deftest function.14
;;; (macrolet ((%f () nil)) (not-mv (typep #'%f 'function)))
;;; nil)
;;; Tests of FUNCTION type specifiers
(deftest function.14
(flet ((%f () nil))
(declare (optimize safety debug))
(let ((f #'%f))
(declare (type (function () null) f))
(funcall f)))
nil)
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment