projects
/
sbcl.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
0.8.0.52
[sbcl.git]
/
src
/
code
/
cross-type.lisp
diff --git
a/src/code/cross-type.lisp
b/src/code/cross-type.lisp
index
228496f
..
557f6db
100644
(file)
--- a/
src/code/cross-type.lisp
+++ b/
src/code/cross-type.lisp
@@
-148,14
+148,14
@@
(typep target-type 'class)
(bug "We don't support CROSS-TYPEP of CLASS type specifiers"))
((and (symbolp target-type)
(typep target-type 'class)
(bug "We don't support CROSS-TYPEP of CLASS type specifiers"))
((and (symbolp target-type)
- (find-class target-type nil)
- (subtypep target-type 'sb!kernel::structure!object))
- (values (typep host-object target-type) t))
- ((and (symbolp target-type)
(find-classoid target-type nil)
(sb!xc:subtypep target-type 'cl:structure-object)
(typep host-object '(or symbol number list character)))
(values nil t))
(find-classoid target-type nil)
(sb!xc:subtypep target-type 'cl:structure-object)
(typep host-object '(or symbol number list character)))
(values nil t))
+ ((and (symbolp target-type)
+ (find-class target-type nil)
+ (subtypep target-type 'sb!kernel::structure!object))
+ (values (typep host-object target-type) t))
(;; easy cases of arrays and vectors
(target-type-is-in
'(array simple-string simple-vector string vector))
(;; easy cases of arrays and vectors
(target-type-is-in
'(array simple-string simple-vector string vector))
@@
-184,7
+184,7
@@
;; we don't continue doing it after we someday patch
;; SBCL's type system so that * is no longer a type, we
;; make this assertion. -- WHN 2001-08-08
;; we don't continue doing it after we someday patch
;; SBCL's type system so that * is no longer a type, we
;; make this assertion. -- WHN 2001-08-08
- (aver (typep (specifier-type '*) 'named-type))
+ (aver (typep (values-specifier-type '*) 'named-type))
(values t t))
(;; Many simple types are guaranteed to correspond exactly
;; between any host ANSI Common Lisp and the target
(values t t))
(;; Many simple types are guaranteed to correspond exactly
;; between any host ANSI Common Lisp and the target