X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;ds=sidebyside;f=tests%2Ftype.impure.lisp;h=b2ac327a957282f2dbe57a31dabc8d3ed9ccb1f6;hb=34664ac9b1d27f0dff2514c388cf10813a9b1108;hp=0b7bb17d22bc970ad3f800a6490d66096c3b119f;hpb=8d10dd337a91dc2f53cbd0e8e68b0e49238deaa3;p=sbcl.git

diff --git a/tests/type.impure.lisp b/tests/type.impure.lisp
index 0b7bb17..b2ac327 100644
--- a/tests/type.impure.lisp
+++ b/tests/type.impure.lisp
@@ -11,6 +11,7 @@
 
 (load "assertoid.lisp")
 (use-package "ASSERTOID")
+(use-package "TEST-UTIL")
 
 (defmacro assert-nil-nil (expr)
   `(assert (equal '(nil nil) (multiple-value-list ,expr))))
@@ -429,4 +430,14 @@
   (assert-t-t (subtypep `(not ,t2) `(not ,t1)))
   (assert-nil-t (subtypep `(not ,t1) `(not ,t2))))
 
+;;; not easily visible to user code, but this used to be very
+;;; confusing.
+(with-test (:name (:ctor :typep-function))
+  (assert (eval '(typep (sb-pcl::ensure-ctor
+                         (list 'sb-pcl::ctor (gensym)) nil nil)
+                        'function))))
+(with-test (:name (:ctor :functionp))
+  (assert (functionp (sb-pcl::ensure-ctor
+                      (list 'sb-pcl::ctor (gensym)) nil nil))))
+
 ;;; success