;; it is first compiled but the result of this implicit compilation
;; is not installed.)"
(assert (sb-eval:interpreted-function-p #'disassemble-eval)))
+
+;; nor should it fail on generic functions or other funcallable instances
+(defgeneric disassemble-generic (x))
+(disassemble 'disassemble-generic)
+(let ((fin (sb-mop:make-instance 'sb-mop:funcallable-standard-object)))
+ (disassemble fin))
+
+;;; while we're at it, much the same applies to
+;;; FUNCTION-LAMBDA-EXPRESSION:
+(defun fle-fun (x) x)
+(function-lambda-expression #'fle-fun)
+
+(let ((x 1)) (defun fle-closure (y) (if y (setq x y) x)))
+(function-lambda-expression #'fle-closure)
+
+#+sb-eval
+(progn
+ ;; Nor should it fail on interpreted functions
+ (let ((sb-ext:*evaluator-mode* :interpret))
+ (eval `(defun fle-eval (x) x))
+ (function-lambda-expression #'fle-eval))
+
+ ;; fle-eval should still be an interpreted function.
+ (assert (sb-eval:interpreted-function-p #'fle-eval)))
+
+;; nor should it fail on generic functions or other funcallable instances
+(defgeneric fle-generic (x))
+(function-lambda-expression #'fle-generic)
+(let ((fin (sb-mop:make-instance 'sb-mop:funcallable-standard-object)))
+ (function-lambda-expression fin))
\f
;;; support for DESCRIBE tests
(defstruct to-be-described a b)
(assert (string= (documentation 'frob 'structure) "FROB"))
(setf (documentation 'frob 'structure) "NEW5")
(assert (string= (documentation 'frob 'structure) "NEW5"))
+
+(define-compiler-macro cmacro (x)
+ "compiler macro"
+ x)
+
+(define-compiler-macro (setf cmacro) (y x)
+ "setf compiler macro"
+ y)
+
+(with-test (:name (documentation 'compiler-macro))
+ (unless (equal "compiler macro"
+ (documentation 'cmacro 'compiler-macro))
+ (error "got ~S for cmacro"
+ (documentation 'cmacro 'compiler-macro)))
+ (unless (equal "setf compiler macro"
+ (documentation '(setf cmacro) 'compiler-macro))
+ (error "got ~S for setf macro" (documentation '(setf cmacro) 'compiler-macro))))
\f
;;;; success