[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Bad GRINDEF/TRACE interaction

(DEFUN F (X) X)			; Define a function
(GRINDEF F)			; Grinds just fine
(TRACE F)			; Traces just fine
(GRINDEF F)			; Grinds just fine with note that it's traced
(DEFUN F (Y) Y)			; Redefine without untracing
(GRINDEF)			; Claims traced. Doesn't grind
(UNTRACE F)			; Untrace doesn't break the F(y) definition
(GRINDEF F)			; Grinds just fine as F(y)
If there is a more recent definition than the traced definition, GRINDEF should
allow that definition to supersede the trace information.