projects
/
sbcl.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
0.8.8.20:
[sbcl.git]
/
src
/
code
/
late-type.lisp
diff --git
a/src/code/late-type.lisp
b/src/code/late-type.lisp
index
d78c38b
..
ff45e57
100644
(file)
--- 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)
(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)))
(!define-type-method (negation :simple-subtypep) (type1 type2)
(csubtypep (negation-type-type type2) (negation-type-type type1)))