;;; -*- lexical-binding: t -*-

(require 'nadvice)

(require 'cl-macs)
(defmacro with-my-report (&rest body)
  (declare (indent 0))
  `(cl-flet ((my-report (whole)
                        (message "Defining %s" (car whole))
                        whole))
     (advice-add 'defun :filter-args #'my-report)
     (unwind-protect (cl-locally ,@body)
       (advice-remove 'defun #'my-report))))

(with-my-report (defun my-test () (random 6)))

(when (integerp (my-test)) (message "%s works" 'my-test))