projects
/
sbcl.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
0.7.13.19:
[sbcl.git]
/
src
/
code
/
target-type.lisp
diff --git
a/src/code/target-type.lisp
b/src/code/target-type.lisp
index
e561d87
..
bae3258
100644
(file)
--- a/
src/code/target-type.lisp
+++ b/
src/code/target-type.lisp
@@
-58,6
+58,12
@@
(values nil nil))
(alien-type-type
(values (alien-typep obj (alien-type-type-alien-type type)) t))
(values nil nil))
(alien-type-type
(values (alien-typep obj (alien-type-type-alien-type type)) t))
+ (negation-type
+ (multiple-value-bind (res win)
+ (ctypep obj (negation-type-type type))
+ (if win
+ (values (not res) t)
+ (values nil nil))))
(hairy-type
;; Now the tricky stuff.
(let* ((hairy-spec (hairy-type-specifier type))
(hairy-type
;; Now the tricky stuff.
(let* ((hairy-spec (hairy-type-specifier type))