Stefan Monnier writes: Hi Stefan, >>> Then we can add support for define-type, ert-deftest, cl-defmethod, ... >> That's my original question: what does it take to unload a `define-type' >> entry? > > Presumably it should undo what cl-struct-define does. > The main part would be (setf (cl--find-class name) nil), I guess. I've ended up with the appended patch. Would this be OK? More precise, would the implementation of (cl-defmethod loadhist-unload-element ((x (head define-type))) be the right thing? > Stefan Best regards, Michael.