(:before-while ,(oclosure-lambda advice ((where :before-while)) (&rest args)
(and (apply car args) (apply cdr args))))
(:filter-args ,(oclosure-lambda advice ((where :filter-args)) (&rest args)
- (apply cdr (funcall cdr args))))
+ (apply cdr (funcall car args))))
(:filter-return ,(oclosure-lambda advice ((where :filter-return)) (&rest args)
(funcall car (apply cdr args)))))
"List of descriptions of how to add a function.
`(funcall ',fspec ',(cadr ifm))
(cadr (or iff ifm)))))
+
+;; This is the `advice' method of `interactive-form'.
+(defun advice--get-interactive-form (ad)
+ (let ((car (advice--car ad))
+ (cdr (advice--cdr ad)))
+ (when (or (commandp car) (commandp cdr))
+ `(interactive ,(advice--make-interactive-form car cdr)))))
+
(defun advice--make (where function main props)
"Build a function value that adds FUNCTION to MAIN at WHERE.
WHERE is a symbol to select an entry in `advice--where-alist'."
;; a docstring slot to OClosures.
(while (memq (car-safe (car-safe body)) '(interactive declare))
(push (pop body) prebody))
- ;; FIXME: Optimize temps away when they're provided in the right order!
+ ;; FIXME: Optimize temps away when they're provided in the right order?
;; FIXME: Slots not specified in `fields' tend to emit "Variable FOO left
;; uninitialized"!
`(let ,tempbinds
- (let ,slotbinds
- ;; FIXME: Prevent store-conversion for fields vars!
- ;; FIXME: Set the object's *type*!
- ;; FIXME: Make sure the slotbinds whose value is duplicable aren't
- ;; just value/variable-propagated by the optimizer (tho I think our
- ;; optimizer is too naive to be a problem currently).
- (oclosure--fix-type
+ ;; FIXME: Prevent store-conversion for fields vars!
+ ;; FIXME: Make sure the slotbinds whose value is duplicable aren't
+ ;; just value/variable-propagated by the optimizer (tho I think our
+ ;; optimizer is too naive to be a problem currently).
+ (oclosure--fix-type
+ (let ,slotbinds
(lambda ,args
(:documentation ',type)
,@prebody
;; Add dummy code which accesses the field's vars to make sure
;; they're captured in the closure.
- (if t nil ,@(mapcar #'car fields))
+ (if t nil ,@(mapcar #'car slotbinds))
,@body))))))
(defun oclosure--fix-type (oclosure)
doc)))
(_ (signal 'invalid-function (list function)))))
-(cl-defgeneric interactive-form (cmd)
+(cl-defgeneric interactive-form (cmd &optional original-name)
"Return the interactive form of CMD or nil if none.
If CMD is not a command, the return value is nil.
-Value, if non-nil, is a list (interactive SPEC)."
- (let ((fun (indirect-function cmd))) ;Check cycles.
- (when fun
- (named-let loop ((fun cmd))
- (pcase fun
- ((pred symbolp)
- (or (get fun 'interactive-form)
- (loop (symbol-function fun))))
- ((pred byte-code-function-p)
- (when (> (length fun) 5)
- (let ((form (aref fun 5)))
- (if (vectorp form)
- ;; The vector form is the new form, where the first
- ;; element is the interactive spec, and the second is the
- ;; command modes.
- (list 'interactive (aref form 0))
- (list 'interactive form)))))
- ((pred autoloadp)
- (interactive-form (autoload-do-load fun cmd)))
- ((or `(lambda ,_args . ,body)
- `(closure ,_env ,_args . ,body))
- (let ((spec (assq 'interactive body)))
- (if (cddr spec)
- ;; Drop the "applicable modes" info.
- (list 'interactive (cadr spec))
- spec)))
- (_ (internal--interactive-form fun)))))))
+Value, if non-nil, is a list (interactive SPEC).
+ORIGINAL-NAME is used internally only."
+ (pcase cmd
+ ((pred symbolp)
+ (let ((fun (indirect-function cmd))) ;Check cycles.
+ (when fun
+ (or (get cmd 'interactive-form)
+ (interactive-form (symbol-function cmd) (or original-name cmd))))))
+ ((pred byte-code-function-p)
+ (when (> (length cmd) 5)
+ (let ((form (aref cmd 5)))
+ (if (vectorp form)
+ ;; The vector form is the new form, where the first
+ ;; element is the interactive spec, and the second is the
+ ;; command modes.
+ (list 'interactive (aref form 0))
+ (list 'interactive form)))))
+ ((pred autoloadp)
+ (interactive-form (autoload-do-load cmd original-name)))
+ ((or `(lambda ,_args . ,body)
+ `(closure ,_env ,_args . ,body))
+ (let ((spec (assq 'interactive body)))
+ (if (cddr spec)
+ ;; Drop the "applicable modes" info.
+ (list 'interactive (cadr spec))
+ spec)))
+ (_ (internal--interactive-form cmd))))
+
+(cl-defmethod interactive-form ((function advice) &optional _)
+ ;; This should ideally be in `nadvice.el' but `nadvice.el' is loaded before
+ ;; `cl-generic.el' so it can't use `cl-defmethod'.
+ ;; FIXME: η-reduce!
+ (advice--get-interactive-form function))
(defun command-execute (cmd &optional record-flag keys special)
;; BEWARE: Called directly from the C code.
(ert-deftest advice-test-call-interactively ()
"Check interaction between advice on call-interactively and called-interactively-p."
- (defun sm-test7.4 () (interactive) (cons 1 (called-interactively-p)))
- (let ((old (symbol-function 'call-interactively)))
+ (let ((sm-test7.4 (lambda () (interactive) (cons 1 (called-interactively-p))))
+ (old (symbol-function 'call-interactively)))
(unwind-protect
(progn
(advice-add 'call-interactively :before #'ignore)
- (should (equal (sm-test7.4) '(1 . nil)))
- (should (equal (call-interactively 'sm-test7.4) '(1 . t))))
+ (should (equal (funcall sm-test7.4) '(1 . nil)))
+ (should (equal (call-interactively sm-test7.4) '(1 . t))))
(advice-remove 'call-interactively #'ignore)
(should (eq (symbol-function 'call-interactively) old)))))