X-Git-Url: http://repo.macrolet.net/gitweb/?a=blobdiff_plain;f=src%2Fcode%2Flate-type.lisp;h=ff45e57e9324a541e764129b70bc05f9e57d53a5;hb=e5e1b41799b814bca18e5f6e5c10b12d06c35c46;hp=d78c38bd6229aa70d0189d519e9fdf146ec97908;hpb=a6bda328d1a33a5ad328ec97bed83d5c49c530e0;p=sbcl.git

diff --git a/src/code/late-type.lisp b/src/code/late-type.lisp
index d78c38b..ff45e57 100644
--- a/src/code/late-type.lisp
+++ b/src/code/late-type.lisp
@@ -1223,7 +1223,9 @@
   (negation-type-type x))
 
 (!define-type-method (negation :unparse) (x)
-  `(not ,(type-specifier (negation-type-type x))))
+  (if (type= (negation-type-type x) (specifier-type 'cons))
+      'atom
+      `(not ,(type-specifier (negation-type-type x)))))
 
 (!define-type-method (negation :simple-subtypep) (type1 type2)
   (csubtypep (negation-type-type type2) (negation-type-type type1)))