slime-devel February 2005

slime-devel@common-lisp.net

37 participants
38 discussions

[slime-devel] Small improvement in symbol-completion
by Antonio Menezes Leitao 22 Feb '05

22 Feb '05

Hi, While I'm working at the REPL, I sometimes need to use symbols that are not present in the current package. In this case, the slime-complete-symbol* function cannot complete the symbol at point. Here I propose a small change in slime.el in order to ask the user whether he/she wants to try completions in different packages. < (if (null completion-set) < (progn (slime-minibuffer-respecting-message --- > (if (and (null completion-set) > (if (y-or-n-p (format "Can't find completion for \"%s\" in the current package. Search other packages?" prefix)) > (dolist (package (slime-eval `(swank:list-all-package-names t)) t) > (setq completion-result (slime-completions (format "%s::%s" package prefix)) > completion-set (first completion-result) > completed-prefix (second completion-result)) > (when completion-set > (return nil))) > t)) > (progn (slime-minibuffer-respecting-message I used it, mainly, to "automagically" insert the package qualifier on a given function call. It works but it could be improved. The problem is that it stops searching packages as soon as one of them returns some completions. I tried to adapt it to present the user with all possible completions in all packages but the format of the slime-completions returned values and the use of the completed-prefix variable (that assumes that there's only one package) makes this a bit harder. So, before I start making some more serious changes, I would like to know if anyone thinks this is sufficiently useful to deserve more time investment. Best regards, António Leitão. Ps: on the Explorer Lisp Machine, this was _very_ useful when we were debugging large systems. But the behaviour wasn't exactly like this: IIRC, it was implemented using restarts.

1 0

[slime-devel] LWW 4.3.7 + Slime cvs head => belly up
by Chisheng Huang 22 Feb '05

22 Feb '05

I CVS updated Slime at 2005-02-21 23:02 GMT, proceeded to load swank-loader.lisp into LWW 4.3.7, and got the following: CL-USER 1 > (load "e:/slime/swank-loader") ; Loading text file e:\slime\swank-loader.lisp ;; Compiling e:\slime\swank-backend.lisp... . . . ; (LISPWORKS:TOP-LEVEL-FORM 118) ; (METHOD SWANK-BACKEND:SEND (T T)) ; (LISPWORKS:TOP-LEVEL-FORM 119) ; (LISPWORKS:TOP-LEVEL-FORM 120) ; (LISPWORKS:TOP-LEVEL-FORM 121) ; Loading fasl file C:\.slime\fasl\lispworks-4.3.7\swank-lispworks.fsl Error: Symbol COMPUTE-APPLICABLE-METHODS-USING-CLASSES not found in package CLOS 1 (continue) Retry assertion. 2 Try loading C:\.slime\fasl\lispworks-4.3.7\swank-lispworks.fsl again. 3 Give up loading C:\.slime\fasl\lispworks-4.3.7\swank-lispworks.fsl. 4 Try loading another file instead of C:\.slime\fasl\lispworks-4.3.7\swank-lispworks.fsl. 5 Try loading e:/slime/swank-loader again. 6 Give up loading e:/slime/swank-loader. 7 Try loading another file instead of e:/slime/swank-loader. 8 (abort) Return to level 0. 9 Return to top loop level 0. Type :b for backtrace, :c <option number> to proceed, or :? for other options SWANK-BACKEND 2 : 1 > Any idea? Thanks. -cph

2 1

[slime-devel] Daily ChangeLog diff
by lgorrie＠common-lisp.net 21 Feb '05

21 Feb '05

Index: slime/ChangeLog diff -u slime/ChangeLog:1.612 slime/ChangeLog:1.613 --- slime/ChangeLog:1.612 Sun Feb 20 21:29:56 2005 +++ slime/ChangeLog Mon Feb 21 00:08:37 2005 @@ -1421,7 +1421,207 @@ slime-background-message. This displays multi-line arglists. (sldb-mode-map): Bind 'C' to sldb-inspect-condition. -2004-08-14 Helmut Eller <e +2004-08-14 Helmut Eller <e9626484(a)stud3.tuwien.ac.at> + + * slime.el (slime-find-buffer-package): Use "%s", not "%S", to + avoid ugly escape characters, if the package name contains dots. + +2004-08-13 Luke Gorrie <luke(a)bluetail.com> + + * slime.el (sldb-eval-in-frame): Print result to the REPL when a + prefix argument is given. + Added pull-down menus for SLDB and the REPL. + + * swank-source-path-parser.lisp: Removed caching of readtables and + the source-map hashtable. Fresh creation is ultra-cheap (<1ms). + The caching didn't handle modifications to readtables and + generally made me feel uneasy while tracking down an obscure bug + in a reader macro. + The cached source-map hashtable also wasn't thread-safe (ho hum). + +2004-08-13 Helmut Eller <e9626484(a)stud3.tuwien.ac.at> + + * slime.el (slime-merge-notes, slime-tree-for-note): Use the short + note message for annotation in the source buffer and the long + message in the tree widget. Used to be the other way around. + (sldb-insert-frames): Set the `start-open' property for XEmacs. + Without `start-open', the `point-entered' property is inherited + when we insert something before the "--more--" marker. Reported + by Sundar Narasimhan. + + * swank.lisp (variable-desc-for-echo-area): Bind some printer + variables to limit the length of the output. + +2004-08-05 Luke Gorrie <luke(a)bluetail.com> + + * slime.el (slime-setup): Added typeout-frame keyword argument. + (slime-thread-attach): Fixed misnamed function call. + +2004-08-04 Luke Gorrie <luke(a)bluetail.com> + + * swank-allegro.lisp (find-fspec-location): Fixed to work for more + types of definition than just functions. So M-. now works for e.g. + classes in Allegro. From Matthew Danish. + (find-fspec-location): Include the type of the definition in the + designator sent to Emacs. From Matthew Danish. + +2004-08-04 Martin Simmons <martin(a)xanalys.com> + + * swank-lispworks.lisp (frame-actual-args): Correct syntax for + handler-case. + +2004-08-04 Helmut Eller <e9626484(a)stud3.tuwien.ac.at> + + * slime.el: (slime-mode-map, slime-repl-mode-map) + (slime-repl-read-mode-map): Remove the binding for C-c C-g. C-c + C-b is now the default interrupt key. + (slime-list-repl-short-cuts): Don't trash the shortcut-table: copy + it before sorting. (Thanks to Mark Simpson.) + +2004-08-02 Luke Gorrie <luke(a)bluetail.com> + + * slime.el (slime-connect): Shorten the welcome message by leaving + out the port number (which is displayed in the REPL anyway). This + avoids line-wrapping some messages of encouragement. + + * swank.lisp (with-buffer-syntax): Don't bind *readtable* to + *buffer-readtable* if they are already EQ. When we shadow this + binding the user can't assign *readtable* from the REPL so it's + best avoided when possible. + + * swank-allegro.lisp: Removed fwrapper-based code for inheriting + "swankiness" to newly spawned threads. This was fighting the + system and not the right thing. + + * slime.el (slime-choose-overlay-region): Tweaked the + multiline-annotation-avoidance code to work with forms not + starting with an open-paren, e.g. `(..) or #'(..). + (slime-update-modeline-package): New configurable. Non-nil (the + default) means update the Lisp package in the modeline using an + idle timer. + (slime-repl-send-input): Make the `slime-repl-old-input' property + cover the whole input (including newline) so that pressing RET on + the end of an input line works. + Use a unique integer as the value of this property to distinguish + adjacent inputs. + (slime-current-package): Deal with narrowing. + +2004-08-01 Helmut Eller <e9626484(a)stud3.tuwien.ac.at> + + * swank-allegro.lisp (swank-compile-string): Use a temporary file + and set excl::*source-pathname* manually. This way we can find + the source buffer of functions compiled with C-c C-c. + (call-with-temp-file, compile-from-temp-file): New functions. + (list-callers, function-callers, in-constants-p) + (map-function-constants): Implements list callers by groveling + through the constants pools of named functions. + + * swank-lispworks.lisp: Minor refactoring. + +2004-07-30 Helmut Eller <e9626484(a)stud3.tuwien.ac.at> + + * slime.el (slime-connection): Say "No default connection + selected" if there are open connections but no default connection. + (slime-tree-indent-item): Point wasn't updated correctly if the + last line was empty. Use insert-before-markers instead of insert + to do it properly. + (slime-draw-connection-list): Don't break if there is no default + connection. + + * swank-cmucl.lisp (call-with-debugging-environment): Only handle + DI::UNHANDLED-CONDITION not all DI:DEBUG-CONDITIONs. + + * swank-backend.lisp (sldb-condition): Show the original condition + in the message. + +2004-07-28 Helmut Eller <e9626484(a)stud3.tuwien.ac.at> + + * slime.el (slime-eval-feature-conditional): Treat uppercase + operators NOT, AND, OR correctly. + (sldb-find-buffer): Remove killed buffers. + (sldb-quit): Raise an error if the RPC returns. + (slime-expected-failures): Delete unused function. + (complete-symbol): Test completion of + swank::compile-file. LispWorks has extra completions for + cl::compile-file. + (arglist): Test arglist of method cl:class-name. Add enough + regexpery to pass the test in most implementations. + + * swank-sbcl.lisp (list-callers, list-callees): Implemented. + +2004-07-26 Luke Gorrie <luke(a)bluetail.com> + + * slime.el (slime-first-change-hook): Add `save-match-data' to + avoid breaking e.g. query-replace. Also added `save-excursion' + just to be safe. + + * README: s/setup-slime/slime-setup/ in the .emacs snippet. + +2004-07-23 Luke Gorrie <luke(a)bluetail.com> + + * slime.el (slime-set-state): Show the message in the modeline in + the case where we aren't connected. Otherwise the "not connected" + status is ignored. + (slime-net-sentinel): Close the connection before changing the + status message. The old behaviour of this combined with the old + behaviour of `slime-set-state' could generally cause spurious + errors after a connection was closed. + +2004-07-22 Luke Gorrie <luke(a)bluetail.com> + + * swank.lisp (carefully-find-package): Return *BUFFER-PACKAGE* if + no other package can be found. This is reverting a previous change + that broke completion in buffers with no known package. + + * slime.el (slime-maybe-start-lisp): Check that *inferior-lisp* + exists /and/ has a running process. Fixes a startup problem if + your inferior-lisp has died and you want to restart SLIME. + +2004-07-21 Luke Gorrie <luke(a)bluetail.com> + + * slime.el (slime-sync-package-and-default-directory): Sync + `default-directory' in the REPL buffer too. + (slime-set-state): Convenience function for setting a connection's + state-name and updating the modeline if appropriate. This function + is called in the right places. + (slime-to-lisp-filename): Use `expand-file-name'. + +2004-07-20 Luke Gorrie <luke(a)bluetail.com> + + * slime.el (slime-repl-update-banner): Restore old behaviour of + using an asynchronous evaluation to setup the REPL. This works + around a problem I'd reintroduced where the first REPL command + uses the wrong keymap. + +2004-07-20 Andreas Fuchs <asf(a)boinkor.net> + + * swank-sbcl.lisp (call-with-compilation-hooks): Trap and report + errors that cause compilation to fail, e.g. read errors. + +2004-07-19 Luke Gorrie <luke(a)bluetail.com> + + * HACKING: Updated. Some notes about Emacs features. + + * slime.el: More major refactoring. + Restructured and documented the networking and protocol code. + (slime-rex-continuations): Now connection-local. + +2004-07-18 Luke Gorrie <luke(a)bluetail.com> + + * slime.el: Major refactoring. + Mostly resectioning and reordering definitions to try and improve + readability. + (slime-get-temp-buffer-create): New utility function to popup a + temporary buffer that automatically has a binding on `q' to + intelligently restore window configuration. Handy, but currently + not applicable to all of our temporary buffers. + (slime-with-chosen-connection): Removed this macro. Consequently + the compilation commands no longer prompt for which connection to + use when given a prefix argument. `slime-switch-to-output-buffer' + still works like that, but for other cases I think the + connection-list buffer is sufficient. + (slime-eval-async): New arglist: (form &optional cont pkg). If the + continuation is unspecified then the evaluation result is ignored, and if the package is unspecified then (slime-buffer-package) is used. (slime-eval): Package arg now defaults to (slime-buffer-package). @@ -3185,7 +3385,109 @@ (describe-symbol-for-emacs, describe-definition): Distinguish between ordinary and generic functions. (call-with-debugging-environment): Unwind a few frames. Looks - bette + better and avoids the problems with the real topframe. + (interesting-frame-p): Use Lispworks dbg:*print-xxx* variables to + decide which frames are interesting. + (frame-actual-args): New function. + (print-frame): Use it. + + * swank.lisp (open-streams, make-output-function): Capture the + connection not only the socket. This way the streams can be used + from unrelated threads. Reported by Alain Picard. + (create-connection): Factorized. Initialize the streams after the + connection is created. + (initialize-streams-for-connection, spawn-threads-for-connection): + New functions. + (with-connection): Fix quoting bug and move upwards before first + use. + (guess-package-from-string): Add kludge for SBCL !-package names. + (apropos-list-for-emacs): Lispworks apparently returns duplicates; + remove them. + (inspect-object): Princ the label to allow strings and symbols. + (send-output-to-emacs): Deleted. + (defslimefun-unimplemented): Deleted. Was unused. + + * slime.el (slime-easy-menu): Add some more commands. + (slime-changelog-date): New variable. Initialized with the value + returned by the function of the same name. This detects + incompatible versions if Emacs has not been restarted after an + upgrade. + (slime-check-protocol-version, slime-init-output-buffer): Use it. + (slime-events-buffer, slime-log-event): Use fundamental mode + instead of lisp-mode to avoid excessive font-locking for messages + with lots of strings. + +2004-03-22 Luke Gorrie <luke(a)bluetail.com> + + * doc/slime.texi: New user manual. + + * swank.lisp (*communication-style*): New name for + *swank-in-background*. + Exported configuration variables: *communication-style*, + *log-events*, *use-dedicated-output-stream*. + +2004-03-20 Julian Stecklina <der_julian(a)web.de> + + * swank-sbcl.lisp (+o_async+, +f_setown+, +f_setfl+): Add correct + constants for FreeBSD. + +2004-03-19 Alan Shutko <ats(a)acm.org> + + * swank.lisp, swank-loader.lisp: Take into account + `pathname-device' when deriving paths. A fix for Windows. + +2004-03-19 Luke Gorrie <luke(a)bluetail.com> + + * slime.el (slime-connected-hook): New hook called each time SLIME + successfully connects to Lisp. This is handy for calling + `slime-ensure-typeout-frame', if you want to use that feature. + (sldb-print-condition): New command to print the SLDB condition + description into the REPL, for reference after SLDB exits. Can be + called from `sldb-hook' if you want the condition to always be + printed. Bound to 'P' in SLDB. + +2004-03-18 Helmut Eller <e9626484(a)stud3.tuwien.ac.at> + + * swank.lisp (format-values-for-echo-area): Bind *package* to + *buffer-package*. + (load-system-for-emacs): Renamed from swank-load-system. + (carefully-find-package): Be friendly to case inverting + readtables. + (inspect-current-condition): New function. + + * swank-backend.lisp, swank-cmucl.lisp (set-default-directory): + New backend function. + + * swank-allegro.lisp, swank-clisp.lisp, swank-lispworks.lisp, + swank-sbcl.lisp (swank-compile-string): Be friendly to + case-inverting readtables. + + * slime.el (sldb-inspect-condition): Use + swank:inspect-current-condition. + (slime-inspector-label-face): Make it bold by default. + (slime-check-protocol-version, slime-process-available-input): + Wait 2 secs after displaying the error message. + (sldb-list-catch-tags, sldb-show-frame-details): Display catch + tags as symbols not as strings. + +2004-03-16 Helmut Eller <e9626484(a)stud3.tuwien.ac.at> + + * slime.el (slime-dispatch-event, slime-rex): Pass a form instead + of a string with :emacs-rex. + (slime-connection-name): New connection variable. Use it in + various places instead of slime-lisp-implementation-type-name. + + * swank.lisp: Better symbol completion for case-inverting + readtables. (Thanks Thomas F. Burdick for suggestions.) + (output-case-converter): New function. + (find-matching-symbols): Case convert the symbol-name before + comparing. + (compound-prefix-match, prefix-match-p): Use char= instead of + char-equal. + (case-convert-input): Renamed from case-convert. + (eval-for-emacs): Renamed from eval-string. Take a form instead + of a string. + (dispatch-event, read-from-socket-io): Update callers. (eval-region, interactive-eval): Use fresh-line to reset the column. 2004-03-13 Helmut Eller <e9626484(a)stud3.tuwien.ac.at>

1 0

[slime-devel] [Patch] Improve slime-insert-arglist for generic functions
by Matthias Koeppe 21 Feb '05

21 Feb '05

Hi, I am sending below a patch that extends the functionality of slime-insert-arglist for generic functions, especially make-instance. Cheers, Matthias 2005-02-20 Matthias Koeppe <mkoeppe(a)mail.math.uni-magdeburg.de> Supersede the command slime-insert-arglist with the new command slime-complete-form and bind it to C-c C-s. The command completes an incomplete form with a template for the missing arguments. There is special code for discovering extra keywords of generic functions and for handling make-instance. Examples: (subseq "abc" <C-c C-s> --inserts--> start [end]) (find 17 <C-c C-s> --inserts--> sequence :from-end from-end :test test :test-not test-not :start start :end end :key key) (find 17 '(17 18 19) :test #'= <C-c C-s> --inserts--> :from-end from-end :test-not test-not :start start :end end :key key) (defclass foo () ((bar :initarg :bar))) (defmethod initialize-instance :after ((object foo) &key blub)) (make-instance 'foo <C-c C-s> --inserts--> :bar bar :blub blub initargs...) * swank.lisp (arglist): New struct for storing decoded arglists. (decode-arglist): New function. (arglist-keywords, methods-keywords, generic-function-keywords, applicable-methods-keywords): New functions. (decoded-arglist-to-template-string, print-decoded-arglist-as-template): New functions. (arglist-to-template-string): Rewrite using above functions. (remove-actual-args): New function. (complete-form): New slimefun. * swank.lisp (extra-keywords): New generic function. * swank-backend.lisp (:swank-mop package): Export compute-applicable-methods-using-classes. * swank.lisp (arglist-for-insertion): Use extra-keywords to enrich the list of keywords. * swank.lisp (valid-operator-symbol-p): New function. (valid-operator-name-p): Use valid-operator-symbol-p. * slime.el (slime-complete-form): New command. (slime-keys): Bind C-c C-s to slime-complete-form rather than slime-insert-arglist. Index: slime.el =================================================================== RCS file: /project/slime/cvsroot/slime/slime.el,v retrieving revision 1.457 diff -u -p -r1.457 slime.el --- slime.el 18 Feb 2005 16:01:53 -0000 1.457 +++ slime.el 20 Feb 2005 18:45:39 -0000 @@ -566,7 +566,7 @@ A prefix argument disables this behaviou ("\M-g" slime-quit :prefixed t :inferior t :sldb t) ;; Documentation (" " slime-space :inferior t) - ("\C-s" slime-insert-arglist :prefixed t :inferior t) + ("\C-s" slime-complete-form :prefixed t :inferior t) ("\C-f" slime-describe-function :prefixed t :inferior t :sldb t) ("\M-d" slime-disassemble-symbol :prefixed t :inferior t :sldb t) ("\C-t" slime-toggle-trace-fdefinition :prefixed t :sldb t) @@ -4266,6 +4266,23 @@ currently looking at." (t (save-excursion (insert arglist)))))) + +(defun slime-complete-form () + "Complete the form at point. This is a superset of the +functionality of `slime-insert-arglist'." + (interactive) + ;; Find the (possibly incomplete) form around point. + (let* ((start (save-excursion (backward-up-list) (point))) + (end (point)) ; or try to find end (tricky)? + (form-string + (concat (buffer-substring-no-properties start end) ")"))) + (let ((result (slime-eval `(swank:complete-form ,form-string)))) + (if (eq result :not-available) + (error "Arglist not available") + (progn + (just-one-space) + (save-excursion + (insert result))))))) (defun slime-get-arglist (symbol-name) "Return the argument list for SYMBOL-NAME." Index: swank-backend.lisp =================================================================== RCS file: /project/slime/cvsroot/slime/swank-backend.lisp,v retrieving revision 1.78 diff -u -p -r1.78 swank-backend.lisp --- swank-backend.lisp 18 Feb 2005 16:03:48 -0000 1.78 +++ swank-backend.lisp 20 Feb 2005 18:45:39 -0000 @@ -81,7 +81,9 @@ #:slot-definition-name #:slot-definition-type #:slot-definition-readers - #:slot-definition-writers)) + #:slot-definition-writers + ;; generic function protocol + #:compute-applicable-methods-using-classes)) (in-package :swank-backend) Index: swank.lisp =================================================================== RCS file: /project/slime/cvsroot/slime/swank.lisp,v retrieving revision 1.279 diff -u -p -r1.279 swank.lisp --- swank.lisp 18 Feb 2005 16:04:28 -0000 1.279 +++ swank.lisp 20 Feb 2005 18:45:41 -0000 @@ -1095,12 +1095,16 @@ Return the package or nil." default) default))) +(defun valid-operator-symbol-p (symbol) + "Test if SYMBOL names a function, macro, or special-operator." + (or (fboundp symbol) + (macro-function symbol) + (special-operator-p symbol))) + (defun valid-operator-name-p (string) "Test if STRING names a function, macro, or special-operator." (let ((symbol (parse-symbol string))) - (or (fboundp symbol) - (macro-function symbol) - (special-operator-p symbol)))) + (valid-operator-symbol-p symbol))) (defslimefun arglist-for-echo-area (names) "Return the arglist for the first function, macro, or special-op in NAMES." @@ -1221,51 +1225,224 @@ Return two values: argument name, defaul (assert (values-equal? (decode-optional-arg 'x) ('x nil))) (assert (values-equal? (decode-optional-arg '(x t)) ('x t)))) +(defstruct (arglist (:conc-name arglist.)) + required-args ; list of the required arguments + optional-args ; list of the optional arguments + keyword-args ; list of the keywords + rest ; name of the &rest or &body argument (if any) + body-p ; whether the rest argument is a &body + allow-other-keys-p) ; whether &allow-other-keys appeared + +(defun decode-arglist (arglist) + (let ((mode nil) + (result (make-arglist))) + (dolist (arg arglist) + (typecase arg + ((member &key &optional &rest &body &whole &aux) + (setq mode arg)) + ((member &allow-other-keys) + (setf (arglist.allow-other-keys-p result) t)) + (t + (case mode + (&key + (push (decode-keyword-arg arg) + (arglist.keyword-args result))) + (&optional + (push (decode-optional-arg arg) + (arglist.optional-args result))) + (&body + (setf (arglist.body-p result) t + (arglist.rest result) arg)) + (&rest + (setf (arglist.rest result) arg)) + ((nil) + (push arg (arglist.required-args result))))))) + (setf (arglist.required-args result) + (nreverse (arglist.required-args result))) + (setf (arglist.optional-args result) + (nreverse (arglist.optional-args result))) + (setf (arglist.keyword-args result) + (nreverse (arglist.keyword-args result))) + result)) + +(defun arglist-keywords (arglist) + "Return the list of keywords in ARGLIST. +As a secondary value, return whether &allow-other-keys appears." + (let ((decoded-arglist (decode-arglist arglist))) + (values (arglist.keyword-args decoded-arglist) + (arglist.allow-other-keys-p decoded-arglist)))) + +(defun methods-keywords (methods) + "Collect all keywords in the arglists of METHODS. +As a secondary value, return whether &allow-other-keys appears somewhere." + (let ((keywords '()) + (allow-other-keys nil)) + (dolist (method methods) + (multiple-value-bind (kw aok) + (arglist-keywords + (swank-mop:method-lambda-list method)) + (setq keywords (remove-duplicates (append keywords kw)) + allow-other-keys (or allow-other-keys aok)))) + (values keywords allow-other-keys))) + +(defun generic-function-keywords (generic-function) + "Collect all keywords in the methods of GENERIC-FUNCTION. +As a secondary value, return whether &allow-other-keys appears somewhere." + (methods-keywords + (swank-mop:generic-function-methods generic-function))) + +(defun applicable-methods-keywords (generic-function classes) + "Collect all keywords in the methods of GENERIC-FUNCTION that are +applicable for argument of CLASSES. As a secondary value, return +whether &allow-other-keys appears somewhere." + (methods-keywords + (swank-mop:compute-applicable-methods-using-classes generic-function classes))) + (defun arglist-to-template-string (arglist package) "Print the list ARGLIST for insertion as a template for a function call." - (setq arglist (clean-arglist arglist)) - (etypecase arglist - (null "()") - (cons - (with-output-to-string (*standard-output*) - (with-standard-io-syntax - (let ((*package* package) (*print-case* :downcase) - (*print-pretty* t) (*print-circle* nil) (*print-readably* nil) - (*print-level* 10) (*print-length* 20)) - (pprint-logical-block (nil nil :prefix "(" :suffix ")") - (arglist-to-template-string-aux arglist)))))))) + (decoded-arglist-to-template-string + (decode-arglist arglist) package)) -(defun arglist-to-template-string-aux (arglist) - (let ((mode nil)) - (loop - (let ((arg (pop arglist))) - (case arg - ((&key &optional &rest &body) - (setq mode arg)) - (t - (case mode - (&key (multiple-value-bind (key sym) (decode-keyword-arg arg) - (format t "~W ~A" key sym))) - (&optional (format t "[~A]" (decode-optional-arg arg))) - (&body (format t "~:@_~A..." arg)) - (&rest (format t "~A..." arg)) - (otherwise (princ arg))) - (unless (null arglist) - (write-char #\space))))) - (when (null arglist) (return)) - (pprint-newline :fill)))) +(defun decoded-arglist-to-template-string (decoded-arglist package &key (prefix "(") (suffix ")")) + (with-output-to-string (*standard-output*) + (with-standard-io-syntax + (let ((*package* package) (*print-case* :downcase) + (*print-pretty* t) (*print-circle* nil) (*print-readably* nil) + (*print-level* 10) (*print-length* 20)) + (pprint-logical-block (nil nil :prefix prefix :suffix suffix) + (print-decoded-arglist-as-template decoded-arglist)))))) + +(defun print-decoded-arglist-as-template (decoded-arglist) + (let ((first-p t)) + (flet ((space () + (unless first-p + (write-char #\space) + (pprint-newline :fill)) + (setq first-p nil))) + (dolist (arg (arglist.required-args decoded-arglist)) + (space) + (princ arg)) + (dolist (arg (arglist.optional-args decoded-arglist)) + (space) + (format t "[~A]" arg)) + (dolist (keyword (arglist.keyword-args decoded-arglist)) + (space) + (format t "~W ~A" keyword keyword)) + (when (and (arglist.rest decoded-arglist) + (or (not (arglist.keyword-args decoded-arglist)) + (arglist.allow-other-keys-p decoded-arglist))) + (if (arglist.body-p decoded-arglist) + (pprint-newline :mandatory) + (space)) + (format t "~A..." (arglist.rest decoded-arglist))))) + (pprint-newline :fill)) + +(defgeneric extra-keywords (operator &rest args) + (:documentation "Return a list of extra keywords of OPERATOR (a symbol) +when applied to the (unevaluated) ARGS.")) + +(defmethod extra-keywords (operator &rest args) + ;; default method + (declare (ignore args)) + (let ((symbol-function (symbol-function operator))) + (if (typep symbol-function 'generic-function) + (generic-function-keywords symbol-function) + nil))) + +(defmethod extra-keywords ((operator (eql 'make-instance)) + &rest args) + (unless (null args) + (let ((class-name-form (car args))) + (when (and (listp class-name-form) + (= (length class-name-form) 2) + (eq (car class-name-form) 'quote)) + (let* ((class-name (cadr class-name-form)) + (class (find-class class-name nil))) + (when class + ;; We have the case (make-instance 'CLASS ...) + ;; with a known CLASS. + (let ((slot-init-keywords + (loop for slot in (swank-mop:class-slots class) + append (swank-mop:slot-definition-initargs slot))) + (initialize-instance-keywords + (applicable-methods-keywords #'initialize-instance + (list class)))) + (return-from extra-keywords + (append slot-init-keywords + initialize-instance-keywords)))))))) + (call-next-method)) (defslimefun arglist-for-insertion (name) (with-buffer-syntax () - (cond ((valid-operator-name-p name) - (let ((arglist (arglist (parse-symbol name)))) - (etypecase arglist - ((member :not-available) + (let ((symbol (parse-symbol name))) + (cond + ((and symbol + (valid-operator-name-p name)) + (let ((arglist (arglist symbol))) + (etypecase arglist + ((member :not-available) :not-available) - (list - (arglist-to-template-string arglist *buffer-package*))))) - (t - :not-available)))) + (list + (let ((decoded-arglist (decode-arglist arglist)) + (extra-keywords (extra-keywords symbol))) + ;; enrich the list of keywords with the extra keywords + (setf (arglist.keyword-args decoded-arglist) + (remove-duplicates + (append (arglist.keyword-args decoded-arglist) + extra-keywords))) + (decoded-arglist-to-template-string decoded-arglist + *buffer-package*)))))) + (t + :not-available))))) + +(defun remove-actual-args (decoded-arglist actual-arglist) + "Remove from DECODED-ARGLIST the arguments that have already been +provided in ACTUAL-ARGLIST." + (loop while (and actual-arglist + (arglist.required-args decoded-arglist)) + do (progn (pop actual-arglist) + (pop (arglist.required-args decoded-arglist)))) + (loop while (and actual-arglist + (arglist.optional-args decoded-arglist)) + do (progn (pop actual-arglist) + (pop (arglist.optional-args decoded-arglist)))) + (loop for keyword in actual-arglist by #'cddr + do (setf (arglist.keyword-args decoded-arglist) + (delete keyword (arglist.keyword-args decoded-arglist))))) + +(defslimefun complete-form (form-string) + "Read FORM-STRING in the current buffer package, then complete it +by adding a template for the missing arguments." + (with-buffer-syntax () + (handler-case + (let ((form (read-from-string form-string))) + (when (consp form) + (let ((operator-form (first form)) + (argument-forms (rest form))) + (when (and (symbolp operator-form) + (valid-operator-symbol-p operator-form)) + (let ((arglist (arglist operator-form))) + (etypecase arglist + ((member :not-available) + :not-available) + (list + (let ((decoded-arglist (decode-arglist arglist)) + (extra-keywords (apply #'extra-keywords form))) + ;; enrich the list of keywords with the extra keywords + (setf (arglist.keyword-args decoded-arglist) + (remove-duplicates + (append (arglist.keyword-args decoded-arglist) + extra-keywords))) + ;; get rid of formal args already provided + (remove-actual-args decoded-arglist argument-forms) + (return-from complete-form + (decoded-arglist-to-template-string decoded-arglist + *buffer-package* + :prefix ""))))))))) + :not-available) + (reader-error (c) + (declare (ignore c)) + :not-available)))) ;;;; Evaluation -- Matthias Koeppe -- http://www.math.uni-magdeburg.de/~mkoeppe

3 3

[slime-devel] Slime packaging in Debian
by Robert Marlow 21 Feb '05

21 Feb '05

I just packaged up SLIME into .debs. I wanted to ask for opinions on how I've packaged them. I've packaged the slime *.el files and the swank *.lisp files into separate packages named slime-el and cl-swank respectively. My rationale is that some people such as myself may wish to install swank and slime on separate machines and use them over TCP. However separating them may make SLIME slightly more difficult to install for beginners. What do people here think? Also, in the process of making the source friendly with debian's common-lisp-controller I had to make some changes. I edited swank.asd and put all the file components from swank-loader.lisp into it. swank-loader doesn't get used at all this way. The only other change I had to make to get this to work was using the system definition utility to start swank in slime.el instead of swank-loader. I haven't catered for ~/.swank yet but I'm sure it can easily go elsewhere. I was wondering if my omission of swank-loader is likely to cause any complications and was also wondering what the rationale for including it was when system maintenance can be performed just by using something like ASDF or some other ubiquitous system definition utility. -- Robert Marlow <bobstopper(a)bobturf.org>

4 9

[slime-devel] Daily ChangeLog diff
by lgorrie＠common-lisp.net 20 Feb '05

20 Feb '05

Index: slime/ChangeLog diff -u slime/ChangeLog:1.611 slime/ChangeLog:1.612 --- slime/ChangeLog:1.611 Fri Feb 18 17:08:07 2005 +++ slime/ChangeLog Sun Feb 20 21:29:56 2005 @@ -1,3 +1,49 @@ +2005-02-20 Matthias Koeppe <mkoeppe(a)mail.math.uni-magdeburg.de> + + Supersede the command slime-insert-arglist with the new command + slime-complete-form and bind it to C-c C-s. The command completes + an incomplete form with a template for the missing arguments. + There is special code for discovering extra keywords of generic + functions and for handling make-instance. Examples: + + (subseq "abc" <C-c C-s> + --inserts--> start [end]) + (find 17 <C-c C-s> + --inserts--> sequence :from-end from-end :test test + :test-not test-not :start start :end end :key key) + (find 17 '(17 18 19) :test #'= <C-c C-s> + --inserts--> :from-end from-end + :test-not test-not :start start :end end :key key) + (defclass foo () ((bar :initarg :bar))) + (defmethod initialize-instance :after ((object foo) &key blub)) + (make-instance 'foo <C-c C-s> + --inserts--> :bar bar :blub blub initargs...) + + * swank.lisp (arglist): New struct for storing decoded arglists. + (decode-arglist): New function. + (arglist-keywords, methods-keywords, generic-function-keywords, + applicable-methods-keywords): New functions. + (decoded-arglist-to-template-string, + print-decoded-arglist-as-template): New functions. + (arglist-to-template-string): Rewrite using above functions. + (remove-actual-args): New function. + (complete-form): New slimefun. + + * swank.lisp (extra-keywords): New generic function. + + * swank-backend.lisp (:swank-mop package): + Export compute-applicable-methods-using-classes. + + * swank.lisp (arglist-for-insertion): Use extra-keywords to + enrich the list of keywords. + + * swank.lisp (valid-operator-symbol-p): New function. + (valid-operator-name-p): Use valid-operator-symbol-p. + + * slime.el (slime-complete-form): New command. + (slime-keys): Bind C-c C-s to slime-complete-form rather than + slime-insert-arglist. + 2005-02-18 Antonio Menezes Leitao <aml(a)gia.ist.utl.pt> Improve the trace mechanism (on lisps that support it). SLIME is @@ -122,7 +168,7 @@ make return values inspectable in the debugger. (signal-breakpoint): Initialize the new slot. -2005-01-19 Matthias Koeppe <mkoeppe+slime(a)merkur.math.uni-magdeburg.de> +2005-01-19 Matthias Koeppe <mkoeppe(a)merkur.math.uni-magdeburg.de> * slime.el (slime-insert-arglist): Inserts a template for a function call instead of the plain arglist; this makes a @@ -205,7 +251,7 @@ * slime.el (slime-conservative-indentation): The default is now nil. Suggested by Travis Cross. -2005-01-10 Matthias Koeppe <mkoeppe+slime(a)merkur.math.uni-magdeburg.de> +2005-01-10 Matthias Koeppe <mkoeppe(a)merkur.math.uni-magdeburg.de> * slime.el (slime-inspector-next-inspectable-object): Accept a prefix argument and make wrapping around more reliable. The code @@ -224,7 +270,7 @@ comint-completion-addsuffix so unambiguous or exact completion closes the string automatically. -2004-12-16 Matthias Koeppe <mkoeppe+slime(a)merkur.math.uni-magdeburg.de> +2004-12-16 Matthias Koeppe <mkoeppe(a)merkur.math.uni-magdeburg.de> * slime.el (slime-keys): Bind M-* to slime-pop-find-definition-stack for compatibility with standard @@ -243,7 +289,7 @@ * swank.lisp (frame-for-emacs): Print the frame number a little nicer with ~2D. -2004-12-15 Matthias Koeppe <mkoeppe+slime(a)merkur.math.uni-magdeburg.de> +2004-12-15 Matthias Koeppe <mkoeppe(a)merkur.math.uni-magdeburg.de> * slime.el (slime-lisp-modes): New variable to make C-c C-k customizable and usable in scheme-mode. @@ -1375,207 +1421,7 @@ slime-background-message. This displays multi-line arglists. (sldb-mode-map): Bind 'C' to sldb-inspect-condition. -2004-08-14 Helmut Eller <e9626484(a)stud3.tuwien.ac.at> - - * slime.el (slime-find-buffer-package): Use "%s", not "%S", to - avoid ugly escape characters, if the package name contains dots. - -2004-08-13 Luke Gorrie <luke(a)bluetail.com> - - * slime.el (sldb-eval-in-frame): Print result to the REPL when a - prefix argument is given. - Added pull-down menus for SLDB and the REPL. - - * swank-source-path-parser.lisp: Removed caching of readtables and - the source-map hashtable. Fresh creation is ultra-cheap (<1ms). - The caching didn't handle modifications to readtables and - generally made me feel uneasy while tracking down an obscure bug - in a reader macro. - The cached source-map hashtable also wasn't thread-safe (ho hum). - -2004-08-13 Helmut Eller <e9626484(a)stud3.tuwien.ac.at> - - * slime.el (slime-merge-notes, slime-tree-for-note): Use the short - note message for annotation in the source buffer and the long - message in the tree widget. Used to be the other way around. - (sldb-insert-frames): Set the `start-open' property for XEmacs. - Without `start-open', the `point-entered' property is inherited - when we insert something before the "--more--" marker. Reported - by Sundar Narasimhan. - - * swank.lisp (variable-desc-for-echo-area): Bind some printer - variables to limit the length of the output. - -2004-08-05 Luke Gorrie <luke(a)bluetail.com> - - * slime.el (slime-setup): Added typeout-frame keyword argument. - (slime-thread-attach): Fixed misnamed function call. - -2004-08-04 Luke Gorrie <luke(a)bluetail.com> - - * swank-allegro.lisp (find-fspec-location): Fixed to work for more - types of definition than just functions. So M-. now works for e.g. - classes in Allegro. From Matthew Danish. - (find-fspec-location): Include the type of the definition in the - designator sent to Emacs. From Matthew Danish. - -2004-08-04 Martin Simmons <martin(a)xanalys.com> - - * swank-lispworks.lisp (frame-actual-args): Correct syntax for - handler-case. - -2004-08-04 Helmut Eller <e9626484(a)stud3.tuwien.ac.at> - - * slime.el: (slime-mode-map, slime-repl-mode-map) - (slime-repl-read-mode-map): Remove the binding for C-c C-g. C-c - C-b is now the default interrupt key. - (slime-list-repl-short-cuts): Don't trash the shortcut-table: copy - it before sorting. (Thanks to Mark Simpson.) - -2004-08-02 Luke Gorrie <luke(a)bluetail.com> - - * slime.el (slime-connect): Shorten the welcome message by leaving - out the port number (which is displayed in the REPL anyway). This - avoids line-wrapping some messages of encouragement. - - * swank.lisp (with-buffer-syntax): Don't bind *readtable* to - *buffer-readtable* if they are already EQ. When we shadow this - binding the user can't assign *readtable* from the REPL so it's - best avoided when possible. - - * swank-allegro.lisp: Removed fwrapper-based code for inheriting - "swankiness" to newly spawned threads. This was fighting the - system and not the right thing. - - * slime.el (slime-choose-overlay-region): Tweaked the - multiline-annotation-avoidance code to work with forms not - starting with an open-paren, e.g. `(..) or #'(..). - (slime-update-modeline-package): New configurable. Non-nil (the - default) means update the Lisp package in the modeline using an - idle timer. - (slime-repl-send-input): Make the `slime-repl-old-input' property - cover the whole input (including newline) so that pressing RET on - the end of an input line works. - Use a unique integer as the value of this property to distinguish - adjacent inputs. - (slime-current-package): Deal with narrowing. - -2004-08-01 Helmut Eller <e9626484(a)stud3.tuwien.ac.at> - - * swank-allegro.lisp (swank-compile-string): Use a temporary file - and set excl::*source-pathname* manually. This way we can find - the source buffer of functions compiled with C-c C-c. - (call-with-temp-file, compile-from-temp-file): New functions. - (list-callers, function-callers, in-constants-p) - (map-function-constants): Implements list callers by groveling - through the constants pools of named functions. - - * swank-lispworks.lisp: Minor refactoring. - -2004-07-30 Helmut Eller <e9626484(a)stud3.tuwien.ac.at> - - * slime.el (slime-connection): Say "No default connection - selected" if there are open connections but no default connection. - (slime-tree-indent-item): Point wasn't updated correctly if the - last line was empty. Use insert-before-markers instead of insert - to do it properly. - (slime-draw-connection-list): Don't break if there is no default - connection. - - * swank-cmucl.lisp (call-with-debugging-environment): Only handle - DI::UNHANDLED-CONDITION not all DI:DEBUG-CONDITIONs. - - * swank-backend.lisp (sldb-condition): Show the original condition - in the message. - -2004-07-28 Helmut Eller <e9626484(a)stud3.tuwien.ac.at> - - * slime.el (slime-eval-feature-conditional): Treat uppercase - operators NOT, AND, OR correctly. - (sldb-find-buffer): Remove killed buffers. - (sldb-quit): Raise an error if the RPC returns. - (slime-expected-failures): Delete unused function. - (complete-symbol): Test completion of - swank::compile-file. LispWorks has extra completions for - cl::compile-file. - (arglist): Test arglist of method cl:class-name. Add enough - regexpery to pass the test in most implementations. - - * swank-sbcl.lisp (list-callers, list-callees): Implemented. - -2004-07-26 Luke Gorrie <luke(a)bluetail.com> - - * slime.el (slime-first-change-hook): Add `save-match-data' to - avoid breaking e.g. query-replace. Also added `save-excursion' - just to be safe. - - * README: s/setup-slime/slime-setup/ in the .emacs snippet. - -2004-07-23 Luke Gorrie <luke(a)bluetail.com> - - * slime.el (slime-set-state): Show the message in the modeline in - the case where we aren't connected. Otherwise the "not connected" - status is ignored. - (slime-net-sentinel): Close the connection before changing the - status message. The old behaviour of this combined with the old - behaviour of `slime-set-state' could generally cause spurious - errors after a connection was closed. - -2004-07-22 Luke Gorrie <luke(a)bluetail.com> - - * swank.lisp (carefully-find-package): Return *BUFFER-PACKAGE* if - no other package can be found. This is reverting a previous change - that broke completion in buffers with no known package. - - * slime.el (slime-maybe-start-lisp): Check that *inferior-lisp* - exists /and/ has a running process. Fixes a startup problem if - your inferior-lisp has died and you want to restart SLIME. - -2004-07-21 Luke Gorrie <luke(a)bluetail.com> - - * slime.el (slime-sync-package-and-default-directory): Sync - `default-directory' in the REPL buffer too. - (slime-set-state): Convenience function for setting a connection's - state-name and updating the modeline if appropriate. This function - is called in the right places. - (slime-to-lisp-filename): Use `expand-file-name'. - -2004-07-20 Luke Gorrie <luke(a)bluetail.com> - - * slime.el (slime-repl-update-banner): Restore old behaviour of - using an asynchronous evaluation to setup the REPL. This works - around a problem I'd reintroduced where the first REPL command - uses the wrong keymap. - -2004-07-20 Andreas Fuchs <asf(a)boinkor.net> - - * swank-sbcl.lisp (call-with-compilation-hooks): Trap and report - errors that cause compilation to fail, e.g. read errors. - -2004-07-19 Luke Gorrie <luke(a)bluetail.com> - - * HACKING: Updated. Some notes about Emacs features. - - * slime.el: More major refactoring. - Restructured and documented the networking and protocol code. - (slime-rex-continuations): Now connection-local. - -2004-07-18 Luke Gorrie <luke(a)bluetail.com> - - * slime.el: Major refactoring. - Mostly resectioning and reordering definitions to try and improve - readability. - (slime-get-temp-buffer-create): New utility function to popup a - temporary buffer that automatically has a binding on `q' to - intelligently restore window configuration. Handy, but currently - not applicable to all of our temporary buffers. - (slime-with-chosen-connection): Removed this macro. Consequently - the compilation commands no longer prompt for which connection to - use when given a prefix argument. `slime-switch-to-output-buffer' - still works like that, but for other cases I think the - connection-list buffer is sufficient. - (slime-eval-async): New arglist: (form &optional cont pkg). If the - continuation is unspecified then the evaluation result is ignored, +2004-08-14 Helmut Eller <e and if the package is unspecified then (slime-buffer-package) is used. (slime-eval): Package arg now defaults to (slime-buffer-package). @@ -3339,109 +3185,7 @@ (describe-symbol-for-emacs, describe-definition): Distinguish between ordinary and generic functions. (call-with-debugging-environment): Unwind a few frames. Looks - better and avoids the problems with the real topframe. - (interesting-frame-p): Use Lispworks dbg:*print-xxx* variables to - decide which frames are interesting. - (frame-actual-args): New function. - (print-frame): Use it. - - * swank.lisp (open-streams, make-output-function): Capture the - connection not only the socket. This way the streams can be used - from unrelated threads. Reported by Alain Picard. - (create-connection): Factorized. Initialize the streams after the - connection is created. - (initialize-streams-for-connection, spawn-threads-for-connection): - New functions. - (with-connection): Fix quoting bug and move upwards before first - use. - (guess-package-from-string): Add kludge for SBCL !-package names. - (apropos-list-for-emacs): Lispworks apparently returns duplicates; - remove them. - (inspect-object): Princ the label to allow strings and symbols. - (send-output-to-emacs): Deleted. - (defslimefun-unimplemented): Deleted. Was unused. - - * slime.el (slime-easy-menu): Add some more commands. - (slime-changelog-date): New variable. Initialized with the value - returned by the function of the same name. This detects - incompatible versions if Emacs has not been restarted after an - upgrade. - (slime-check-protocol-version, slime-init-output-buffer): Use it. - (slime-events-buffer, slime-log-event): Use fundamental mode - instead of lisp-mode to avoid excessive font-locking for messages - with lots of strings. - -2004-03-22 Luke Gorrie <luke(a)bluetail.com> - - * doc/slime.texi: New user manual. - - * swank.lisp (*communication-style*): New name for - *swank-in-background*. - Exported configuration variables: *communication-style*, - *log-events*, *use-dedicated-output-stream*. - -2004-03-20 Julian Stecklina <der_julian(a)web.de> - - * swank-sbcl.lisp (+o_async+, +f_setown+, +f_setfl+): Add correct - constants for FreeBSD. - -2004-03-19 Alan Shutko <ats(a)acm.org> - - * swank.lisp, swank-loader.lisp: Take into account - `pathname-device' when deriving paths. A fix for Windows. - -2004-03-19 Luke Gorrie <luke(a)bluetail.com> - - * slime.el (slime-connected-hook): New hook called each time SLIME - successfully connects to Lisp. This is handy for calling - `slime-ensure-typeout-frame', if you want to use that feature. - (sldb-print-condition): New command to print the SLDB condition - description into the REPL, for reference after SLDB exits. Can be - called from `sldb-hook' if you want the condition to always be - printed. Bound to 'P' in SLDB. - -2004-03-18 Helmut Eller <e9626484(a)stud3.tuwien.ac.at> - - * swank.lisp (format-values-for-echo-area): Bind *package* to - *buffer-package*. - (load-system-for-emacs): Renamed from swank-load-system. - (carefully-find-package): Be friendly to case inverting - readtables. - (inspect-current-condition): New function. - - * swank-backend.lisp, swank-cmucl.lisp (set-default-directory): - New backend function. - - * swank-allegro.lisp, swank-clisp.lisp, swank-lispworks.lisp, - swank-sbcl.lisp (swank-compile-string): Be friendly to - case-inverting readtables. - - * slime.el (sldb-inspect-condition): Use - swank:inspect-current-condition. - (slime-inspector-label-face): Make it bold by default. - (slime-check-protocol-version, slime-process-available-input): - Wait 2 secs after displaying the error message. - (sldb-list-catch-tags, sldb-show-frame-details): Display catch - tags as symbols not as strings. - -2004-03-16 Helmut Eller <e9626484(a)stud3.tuwien.ac.at> - - * slime.el (slime-dispatch-event, slime-rex): Pass a form instead - of a string with :emacs-rex. - (slime-connection-name): New connection variable. Use it in - various places instead of slime-lisp-implementation-type-name. - - * swank.lisp: Better symbol completion for case-inverting - readtables. (Thanks Thomas F. Burdick for suggestions.) - (output-case-converter): New function. - (find-matching-symbols): Case convert the symbol-name before - comparing. - (compound-prefix-match, prefix-match-p): Use char= instead of - char-equal. - (case-convert-input): Renamed from case-convert. - (eval-for-emacs): Renamed from eval-string. Take a form instead - of a string. - (dispatch-event, read-from-socket-io): Update callers. + bette (eval-region, interactive-eval): Use fresh-line to reset the column. 2004-03-13 Helmut Eller <e9626484(a)stud3.tuwien.ac.at>

3 2

[slime-devel] Daily ChangeLog diff
by lgorrie＠common-lisp.net 18 Feb '05

18 Feb '05

Index: slime/ChangeLog diff -u slime/ChangeLog:1.610 slime/ChangeLog:1.611 --- slime/ChangeLog:1.610 Wed Feb 2 21:36:49 2005 +++ slime/ChangeLog Fri Feb 18 17:08:07 2005 @@ -1,3 +1,51 @@ +2005-02-18 Antonio Menezes Leitao <aml(a)gia.ist.utl.pt> + + Improve the trace mechanism (on lisps that support it). SLIME is + now able to trace/untrace flet/labels functions, methods and, of + course, regular and generic functions. + + In the process support for sending code to emacs form the lisp was + added. The code, elisp forms, is sent over the wire like normal + lisp code, evaluated in emacs and the return value is returned + back to the lisp. + + * slime.el (slime-dispatch-event): Added the :evaluale-in-emacs + dispatch state which simply parses the message and class + evaluate-in-emacs. + (evaluate-in-emacs): New function. + (complete-name-context-at-point, name-context-at-point, out-first, + definition-name, parameter-specializers, + slime-toggle-trace-fdefinition, slime-toggle-trace-function, + slime-toggle-trace-defgeneric, slime-toggle-trace-defmethod, + slime-toggle-trace-maybe-wherein, slime-toggle-trace-within): New + functions implementing the new intelligent slime trace. + + * swank-backend.lisp (toggle-trace-function, + toggle-trace-generic-function-methods, toggle-trace-method, + toggle-trace-fdefinition-wherein, + toggle-trace-fdefinition-within): New backend functions + for the new trace facility. + + * swank.lisp (dispatch-event): Handle the :evaluate-in-emacs + message type. + (evaluate-in-emacs): New function. + + * swank-allegro.lisp (toggle-trace-generic-function-methods, + toggle-trace, toggle-trace-function, toggle-trace-method, + toggle-trace-fdefinition-wherein, + toggle-trace-fdefinition-within): Implement. + (process-fspec-for-allegro): New function. + + * swank-cmucl.lisp (toggle-trace-generic-function-methods, + toggle-trace-function, toggle-trace-method, + toggle-trace-fdefinition-wherein): Implement. + (toggle-trace, process-fspec): New functions. + + * swank-sbcl.lisp (toggle-trace-generic-function-methods, + toggle-trace-function, toggle-trace-method, + toggle-trace-fdefinition-wherein): Implement. + (toggle-trace, process-fspec): New functions. + 2005-02-02 Helmut Eller <heller(a)common-lisp.net> * slime.el: Require the timer package explicitly.

1 0

[slime-devel] sbcl/unicode + compiler notes
by Gábor Melis 18 Feb '05

18 Feb '05

Compile the attached file on a unicode sbcl with (setq slime-net-coding-system 'utf-8-unix). The compiler notes are off, probably due to a mismatch between cl file-position and character position caused by the multibyte chars. Cheers, Gábor

1 0

[slime-devel] Improved trace
by Antonio Menezes Leitao 16 Feb '05

16 Feb '05

Hi, AFAICS, slime can only select symbols for trace. This has several problems and limitations. The first problem is that tracing setf-definitions such as (setf foo) and/or more complex definitions such as (method foo (bar baz)) can only be done by writing the extended name on the '(Un)trace: ' line. A more serious problem is that is impossible to untrace such definitions via slime. This happens because slime (or more properly, swank) identifies traced functions using eql (in the tracep predicate). Obviously, this is trivial to solve but I think that it is possible to improve this situation a lot. I extended slime trace in a way that (I hope) makes it more helpful. The idea is to identify the context of the symbol being traced. Here are a few examples (the '|' shows the cursor) with the intended meaning of the trace/untrace command: (defun fo|o (a) -> (trace foo) ...) (defun (setf fo|o) (a b) -> (trace (setf foo)) ...) (defgeneric b|ar (a b)) -> (trace bar) and, possibly, all its methods (defmethod b|ar ((a cons) (b cons)) -> (trace (method bar (cons cons))) ...) (defun deep (x) -> (trace deeper) but, possibly, only when (de|eper ...)) called from deep (defun myfunc (a b c) -> (trace (labels myfunc squareit)) (labels ((squar|eit (arg) ...)) ...)) (defmethod bax ((a foo) b c) -> (trace (labels (method bax (foo t t)) squareit)) (labels ((squar|eit (arg) ...)) ...)) The flet case is identical to the labels case. ...(fo|o ...)... -> (trace foo) (setf ... ... (fo|o ...) ... -> (trace (setf foo)) ... ...) In all other situations, the trace/untrace works just like in current slime. Obviously, not everything can work in every CL. Also, the specific trace commands depend on the CL we are using. This, I think, should not stop us from using it (and strongly encourage CL implementors to provide the missing bits). I implemented all of the above for Allegro 7.0 (everything works except the last due to one Allegro bug), SBCL (everything except local functions) and CMUCL (everything except local functions). People who use/implement other CLs might want to provide swank implementations for those CLs. If you're interested, here's the patch: BTW, it also includes two small changes to allow the CL process to comunicate with the Emacs process. They are not needed for trace but are useful for refactoring operations that I'm implementing in Slime. Any comments/corrections/improvements are very welcome. Best regards, António Leitão.

3 3

[slime-devel] eval-in-emacs and 'window'-debugger
by Antonio Menezes Leitao 10 Feb '05

10 Feb '05

Hi everybody, I noticed that slime provides a function eval-in-emacs that sends a form to the emacs side where it is evaluated. However, I would like to get the results on the lisp side but I always get NIL. Is there a different swank function for that? (in the emacs-lisp-interface from Franz I used a lep::eval-in-emacs that did precisely what I needed). This is very useful to provide refactoring operations (that operate on the Lisp side) that need to interact with the user using emacs lisp operations such as y-or-n-p or read-from-minibuffer. I know that it might be difficult to find a general scheme to translate from emacs lisp values to common lisp values but all I need is symbols, strings, numbers and such. ----------------- A few years ago I developed a 'window'-debugger and 'window'-inspector for Ilisp+CMUCL similar to what I used in the Explorer Lisp Machines. I recently adapted it to Slime+Whatever-Common-Lisp-slime-supports. If anyone is interested I can post it. However, I would like to suggest two changes to Slime in order to improve its portability: 1. The function swank::inspected-parts should provide a recognizable value for unbound slots. Here is one example in SBCL CL-USER> (defclass c () ((a))) #<STANDARD-CLASS C> CL-USER> (swank::inspected-parts (make-instance 'c)) "The object is a STANDARD-OBJECT of type C. " (("A" . #:INSPECT-UNBOUND-OBJECT-3530)) and in CLISP CL-USER> (swank::inspected-parts (make-instance 'c)) "#<COMMON-LISP-USER::C #x20426856> standard object type: COMMON-LISP-USER::C" (("A" . INSPECT-TMP-PACKAGE-5413::|#<unbound>|)) I know that the returned values are recognizable (e.g., by being the value of the variable sb-impl::*inspect-unbound-object-marker* or something similar) but given the fact that it depends on the Common Lisp being used, it would be preferable if Slime provided a function that recognizes such value. If it already does, my apologies. 2. The function swank::frame-locals doesn't distinguish valid locals from invalid ones. I know that not all Common Lisps make that distinction but for the ones that make, it would be useful to get that information (for Common Lisps that don't provide such information a default could be chosen). Currently, Slime puts a :not-available as value which, IMHO, is error-prone. It would be nicer to have an extra field for each local that describes its status or (as in 1.) a slime function that recognizes such special value or as a third (and not so good) alternative, swank::frame-locals should not produce invalid locals. Thanks in advance, António Leitão.

2 2

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

2007

2006

2005

2004

2003

slime-devel February 2005