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)))
(cons bignum single-float))
'(cons single-float single-float))))
(assert (subtypep '(cons integer single-float)
- '(or (cons fixnum single-float) (cons bignum single-float))))
\ No newline at end of file
+ '(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)))))