array
generic-function
simple-error
- ;; so it might seem easy to change the HAIRY
- ;; :UNPARSE method to recognize that (NOT
- ;; CONS) should unparse as ATOM. However, we
- ;; then lose the nice (SUBTYPEP '(NOT ATOM)
- ;; 'CONS) => T,T behaviour that we get from
- ;; simplifying (NOT ATOM) -> (NOT (NOT CONS))
- ;; -> CONS. So, for now, we leave this
- ;; commented out.
- ;;
- ;; atom
+ atom
hash-table
simple-string
base-char
(subtypep '(function)
'(function (t &rest t))))
'(nil t)))
-#+nil
(assert (and (subtypep 'function '(function))
(subtypep '(function) 'function)))
'(rational 0 10)))
(assert (subtypep '(rational 0 10)
'(or (eql 0) (rational (0) 10))))
+;;; Until sbcl-0.7.13.7, union of CONS types when the CDRs were the
+;;; same type gave exceedingly wrong results
+(assert (null (subtypep '(or (cons fixnum single-float)
+ (cons bignum single-float))
+ '(cons single-float single-float))))
+(assert (subtypep '(cons integer single-float)
+ '(or (cons fixnum single-float) (cons bignum single-float))))
+
+(assert (not (nth-value 1 (subtypep '(and null some-unknown-type)
+ 'another-unknown-type))))
+
+;;; bug 46c
+(dolist (fun '(and if))
+ (assert (raises-error? (coerce fun 'function) type-error)))
+
+(dotimes (i 100)
+ (let ((x (make-array 0 :element-type `(unsigned-byte ,(1+ i)))))
+ (eval `(typep ,x (class-of ,x)))))