X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=tests%2Fdeftype.impure.lisp;h=3432997cd85149120b4013b2cf470ecda572bda6;hb=f7808fb1c49b729d00580321b3f8457ce4b84cf4;hp=ee43d3bc5cf906144e73d72a722bf36038ffa091;hpb=9d40fd46df9f542c2271d939002400aafb0c9c30;p=sbcl.git

diff --git a/tests/deftype.impure.lisp b/tests/deftype.impure.lisp
index ee43d3b..3432997 100644
--- a/tests/deftype.impure.lisp
+++ b/tests/deftype.impure.lisp
@@ -44,3 +44,11 @@
 (assert (equal '(x) (sb-int:info :type :lambda-list 'bar)))
 (defclass bar () ())
 (assert (not (sb-int:info :type :lambda-list 'bar)))
+
+;; Need to work with plain symbols as the body.
+(defconstant whatever 't)
+(deftype anything () whatever)
+(assert (typep 42 'anything))
+
+(with-test (:name :deftype-not-list-lambda-list)
+  (assert (raises-error? (eval `(deftype ,(gensym) non-list-argument)))))