projects
/
sbcl.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
0.8.18.3:
[sbcl.git]
/
src
/
code
/
typecheckfuns.lisp
diff --git
a/src/code/typecheckfuns.lisp
b/src/code/typecheckfuns.lisp
index
f8253cc
..
eeaeb0a
100644
(file)
--- a/
src/code/typecheckfuns.lisp
+++ b/
src/code/typecheckfuns.lisp
@@
-199,7
+199,11
@@
(member-type-p ctype)
(numeric-type-p ctype)
(array-type-p ctype)
(member-type-p ctype)
(numeric-type-p ctype)
(array-type-p ctype)
- (cons-type-p ctype))))
+ (cons-type-p ctype)
+ (intersection-type-p ctype)
+ (union-type-p ctype)
+ (negation-type-p ctype)
+ (character-set-type-p ctype))))
;;; Evaluate (at load/execute time) to a function which checks that
;;; its argument is of the specified type.
;;; Evaluate (at load/execute time) to a function which checks that
;;; its argument is of the specified type.