[slime-devel] please make the new extended trace and the original trace coexist.

[Antonio Menezes Leitao]

Chisheng Huang <cph at chi-square-works.com> writes:

>> I've been thinking that it might be better to bind the "extended"
>> trace command with a prefix arg so that the previous "non-extended"
>> behaviour becomes the default for C-c C-t.  This allows all CLs that
>> implement the simpler form of trace to work without problems and only
>> when invoked with C-u C-c C-t will the trace command do something
>> different.
>> 
>> Regards,
>> 
>> António Leitão.
>
> I like this idea a lot.  With the extended trace command, it is not
> convenient to trace all methods of a generic function if I do not have
> a (DEFGENERIC ...) defined.  To do that, I have to either type 
> (TRACE ...) into a REPL or do C-c C-t on all (defmethod ...).   Or maybe
> I'm missing something?

Note that if you trace just a function name (assuming it is generic)
you are not tracing all the methods.  At most, you are tracing the
generic function.  In an optimized Lisp, this might not be what you
want.

Tracing the defgeneric and all its methods is different (or attempts
to be different) from tracing just the function name.

To do what you want, (which I'm assuming it's a normal trace in the
normal function case and a normal trace plus all-methods trace in the
generic function case), slime would have to ask the Lisp process about
the type of function it is tracing and, upon encountering generic
functions, it could ask the user if he wants to trace all the methods.
It is doable and, IMHO, it is the correct thing to do, but it is not
what the trace command is doing right now.  Maybe we should change it.

> Please make the new extended trace command coexist with the original
> one.

I'll do that.  Here's a new version that also removes one small
error.  C-c C-t invokes the simpler trace, C-u C-c C-t invokes the
contextual trace.

Please (someone with cvs access), replace:

(defun slime-toggle-trace-fdefinition ()
  "Toggle trace."
  (interactive)
  (let ((spec (complete-name-context-at-point)))
    (cond ((symbolp spec) ;;trivial case
	   (slime-toggle-trace-function spec))
	  (t
	   (ecase (first spec)
	     ((setf)
	      (slime-toggle-trace-function spec))
	     ((:defun :defmacro) 
	      (slime-toggle-trace-function (second spec)))
	     (:defgeneric
	      (slime-toggle-trace-defgeneric (second spec)))
	     (:defmethod
	      (slime-toggle-trace-defmethod spec))
	     (:call 
	      (slime-toggle-trace-maybe-wherein (third spec) (second spec)))
	     ((:labels :flet)
	      (slime-toggle-trace-within spec)))))))

with:

(defun slime-toggle-trace-fdefinition (&optional using-context-p)
  "Toggle trace."
  (interactive "P")
  (let ((spec (if using-context-p
                (complete-name-context-at-point)
                (symbol-at-point))))
    (cond ((null spec)
           (error "No symbol to trace"))
          ((symbolp spec)
	   (slime-toggle-trace-function spec))
	  (t
	   (ecase (first spec)
	     ((setf)
	      (slime-toggle-trace-function spec))
	     ((:defun :defmacro) 
	      (slime-toggle-trace-function (second spec)))
	     (:defgeneric
	      (slime-toggle-trace-defgeneric (second spec)))
	     (:defmethod
	      (slime-toggle-trace-defmethod spec))
	     (:call 
	      (slime-toggle-trace-maybe-wherein (third spec) (second spec)))
	     ((:labels :flet)
	      (slime-toggle-trace-within spec)))))))


Best regards,

António Leitão.