slime-devel April 2005

slime-devel@common-lisp.net

36 participants
42 discussions

[slime-devel] custom indentation of macros
by Chris Capel 18 Apr '05

18 Apr '05

I think there should be a way to specify, in a source file for a CL macro, how SLIME should indent the macro. There is already a robust and capable, if under-documented, way to specify the indentation for arbitrary forms in cl-indent.el, and so it would be nice to wrap this up in a nice way and give it some SLIME support. My idea is to have SWANK look for a property on the CL symbols, custom-indent-spec, that, if present, has a list (or perhaps a string that can be read as a list in Emacs) that can be assigned to the common-lisp-indent-function property on the Emacs symbol to modify the indentation. It'd be nice to have some documentation for the format of this list, too. Anyway, here's the sort of thing I think would work. (setf (get 'defclass-ext 'custom-indent-spec) '((6 4 defclass-slots-options-indent) (defun defclass-slots-options-indent (path state indent-point sexp-column normal-indent) (if (> (length path) 1) (1+ sexp-column) 2)))) The above form is Common Lisp and contained in the source file, either after the macro definition or somewhere else. The quoted list (caddr of the setf form) is written in Emacs lisp. (Symbol case issues? Should everything in the Emacs-destined form be downcased by SLIME or something?) The first form in that list is the value the common-lisp-indent-function property on the Emacs symbol gets set to. The subsequent forms are function definitions that can be used in the first. My example would allow the following indentation: (defclass-ext some-class () (slot-a :a :ia slot-b :a (:if 2))) There should be some attention to name collision across packages--Emacs lisp symbols don't have packages, so two different CL authors with a macro with the same name and custom indentation could potentially collide in unpleasant ways. I think what has to happen is that SLIME adds and removes the common-lisp-indent-function property on Emacs symbols every time a package is switched, based on what is set up for the inferior lisp's symbols in the new package. Is this last bit feasible? Perhaps SLIME could check to make sure the Emacs symbols have been set up with the correct plists before every indentation, resetting them all if the package has changed since then. Other ideas? Chris Capel

1 0

[slime-devel] Release?
by Helmut Eller 17 Apr '05

17 Apr '05

Is there anything left that we should fix before the release? If not, can we release the baby in the next few days? I used 1.2 as version number in the documentation, because there was already a 1.1 CVS tag (from November, before the Unicode changes). I hope that's ok with everybody. Helmut.

2 1

[slime-devel] Double newlines sent to clisp on user input
by Alex Farran 17 Apr '05

17 Apr '05

I'm running through Practical Common Lisp using SLIME + clisp on slackware, and I've run into a problem in chapter 3 with the prompt-for-cd function: (defun prompt-for-cd () (make-cd (prompt-read "Title") (prompt-read "Artist") (or (parse-integer (prompt-read "Rating") :junk-allowed t)) (y-or-n-p "Ripped [y/n]: "))) If I run clisp in a terminal it works as expected: [6]> (prompt-for-cd) Title: La Peste Artist: Alabama 3 Rating: 5 Ripped [y/n]: (y/n) y (:TITLE "La Peste" :ARTIST "Alabama 3" :RATING 5 :RIPPED T) But in SLIME this happens: CL-USER> (prompt-for-cd) Title: La Peste Artist: Rating: 5 Ripped [y/n]: (y/n) Please answer with y or n : y (:TITLE "La Peste" :ARTIST "" :RATING 5 :RIPPED T) It seems that for every one newline I enter two are sent. Is there something I can configure to fix it? I've tried running SLIME with my existing emacs and clisp and also with the versions compiled as part of the lisp-in-a-box package. I get the same problem either way. Alex

2 2

[slime-devel] selective macroexpansion patch
by Chris Capel 16 Apr '05

16 Apr '05

I have a patch and new file that implements a few functions that allow the selective expansion of subforms. I have the beginnings of a new mode, but my very limited familiarity with Emacs/SLIME programming ensures that it's almost useless. I'm hoping the improvements will be obvious and trivial to make this more usable. I'm kind of puzzled about why my returned forms are printing out with every symbol qualified by its package. Also, the new function slime-macroexpand-expand-subform should probably make the expansion be undoable with one undo, instead of two. I don't have the keybindings set up for the new mode, and slime-mode could probably use a key and menu entry to open the buffer. swank-loader.lisp will need to be modified appropriately. I wasn't sure what to do here, as swank-source-path-parser.lisp was only loaded for SBCL and CMUCL. Is it really that unportable? I guess this is a good first stab. I might look at it some more, see if I can clean it up some, if no one else does. Chris Capel New file: swank-expander.lisp ;;;; Selective macro expander ;;; These are some macros that will macroexpand a specific subform of a form ;;; once (destructively), respecting macros locally established by macrolets and ;;; symbol-macrolets. ;;; There are currently some limitations. swank-source-path-parser.lisp doesn't ;;; currently return the path of the specific atom the cursor is on--only the ;;; list. So it's not possible to expand symbol-macros until this situation is ;;; improved. Also, forms that expand into macrolets that are not expanded ;;; before expanding the subform will not respect the macrolet. ;;; For example, with ;;; ;;; (defmacro foo (&body body) ;;; `(macrolet ((bar (x) `(y ,x))) ;;; ,@body))) ;;; ;;; expanding the subform in ;;; ;;; (foo (bar xyz)) ;;; ;;; will not be effective unless FOO is added to ;;; *macroexpand-macro-binding-form* (in-package :swank-backend) (defparameter *macroexpand-macro-binding-form* '((macrolet 2) (symbol-macrolet 2)) "This is a specification for forms that are expected to expand into forms that bind symbols to macros. Each element of the list contains, first, the name of the macro, and second, the number of elements (including the name) to keep before replacing the rest with the specific form to be expanded.") (defmacro expand (form &environment e) "Return a form that represents a macroexpand-1'd FORM when evaluated in the current environment." (list 'quote (macroexpand-1 form e))) (defun get-list-to-expand (list source-path) "Get a sublist based on the source-path argument, but wrap it in all forms that bind macros, using *macroexpand-macro-binding-form*" (flet ((recurse () (get-list-to-expand (nth (car source-path) list) (cdr source-path)))) (if (null source-path) (list 'expand list) (let ((sym (find (car list) *macroexpand-macro-binding-form* :key #'car))) (if sym (append (subseq list 0 (cadr sym)) (list (recurse))) (recurse)))))) (defun nsubst-list (source substitution source-path) "Destructively replace the form in SOURCE at the give source path with SUBSTITUTION." (if (null source-path) substitution (progn (setf (nth (car source-path) source) (nsubst-list (nth (car source-path) source) substitution (cdr source-path))) source))) (defun subst-all-tree (tree obj-a obj-b &key (test #'equal)) "Non-destructively replace all instances of OBJ-A in TREE with OBJ-B (compared using TEST)." (mapcar (lambda (i) (if (consp i) (subst-all-tree i obj-a obj-b :test test) (if (funcall test obj-a i) obj-b i))) tree)) (defun expand-part (list source-path) "Expand, once, the form located at SOURCE-PATH and replace it with its expansion." (nsubst-list list (eval (get-list-to-expand list source-path)) source-path)) (defun expand-part-from-position (form-string position) (with-input-from-string (s form-string) (multiple-value-bind (list hash) (read-and-record-source-map s) (expand-part list (source-position-source-path position list hash))))) Index: slime.el =================================================================== RCS file: /project/slime/cvsroot/slime/slime.el,v retrieving revision 1.482 diff -u -r1.482 slime.el --- slime.el 9 Apr 2005 07:05:54 -0000 1.482 +++ slime.el 16 Apr 2005 04:54:28 -0000 @@ -6137,6 +6137,56 @@ "Display the recursively macro expanded sexp at point." (interactive) (slime-eval-macroexpand 'swank:swank-macroexpand-all)) + + +;;;; Selective macroexpansion + +(defvar slime-macroexpand-mode-map) + +(setq slime-macroexpand-mode-map (make-sparse-keymap)) +(set-keymap-parent slime-macroexpand-mode-map lisp-mode-map) + +(slime-define-keys slime-macroexpand-mode-map + ("\C-m" 'slime-macroexpand-expand-subform)) + +(defun slime-macroexpand-selective () + "Start a selective macroexpansion buffer with whatever's at the current +point." + (interactive) + (let ((string (slime-sexp-at-point)) + (buffer (get-buffer-create "*slime-macroexpand*"))) + (with-current-buffer buffer + (slime-macroexpand-mode) + (erase-buffer) + (pp (first (read-from-string string)) + buffer)))) + +(defun slime-macroexpand-expand-subform () + "In macroexpand mode, expand the currently selected subform." + (interactive) + (let ((i (point)) + (text (buffer-string))) + ;;how to make this erase and replacement a single operation? + (erase-buffer) + (let ((new-form (slime-eval `(swank-backend::expand-part-from-position ,text ,i)))) + ;;prints package qualifier on everything. Not very nice. + (pp new-form (current-buffer)) + (goto-char i)))) + +(defun slime-macroexpand-mode () + "Major mode for expanding parts of a form interactively. +\\{slime-macroexpand-mode-map}" + (interactive) + ;;need to set package somewhere... + (kill-all-local-variables) + (setq major-mode 'slime-macroexpand-mode) + (use-local-map slime-macroexpand-mode-map) + (lisp-mode-variables t) + (set (make-local-variable 'lisp-indent-function) + 'common-lisp-indent-function) + (setq font-lock-defaults nil) + (setq mode-name "Macroexpand") + (run-hooks 'slime-macroexpand-hook)) ;;;; Subprocess control Index: swank-source-path-parser.lisp =================================================================== RCS file: /project/slime/cvsroot/slime/swank-source-path-parser.lisp,v retrieving revision 1.13 diff -u -r1.13 swank-source-path-parser.lisp --- swank-source-path-parser.lisp 1 Apr 2005 13:59:48 -0000 1.13 +++ swank-source-path-parser.lisp 16 Apr 2005 04:54:29 -0000 @@ -111,3 +111,26 @@ finally (destructuring-bind ((start . end)) positions (return (values (1- start) end)))))) +(defun source-position-source-path (position form source-map + &optional parent-form) + "Return the source path of the form most tightly surrounding the given +position." + (print form) + (if (and (not (null form)) (listp form)) + (destructuring-bind ((start . end)) (gethash form source-map) + (if (or (< position start) (> position end)) + nil + (let ((sub-path + (find-if #'identity + (mapcar (lambda (sub-form) + (source-position-source-path + position sub-form source-map form)) + form)))) + (cond + ((and sub-path parent-form) + (cons (position form parent-form) sub-path)) + (sub-path sub-path) + (parent-form + (list (position form parent-form))) + (t nil))))) + nil)) Index: swank.lisp =================================================================== RCS file: /project/slime/cvsroot/slime/swank.lisp,v retrieving revision 1.293 diff -u -r1.293 swank.lisp --- swank.lisp 9 Apr 2005 07:07:46 -0000 1.293 +++ swank.lisp 16 Apr 2005 04:54:38 -0000 @@ -34,6 +34,7 @@ #:*swank-pprint-bindings* #:*default-worker-thread-bindings* #:*macroexpand-printer-bindings* + #:*macroexpand-macro-binding-forms* ;; These are re-exported directly from the backend: #:buffer-first-change #:frame-source-location-for-emacs

1 0

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

14 Apr '05

Index: slime/ChangeLog diff -u slime/ChangeLog:1.663 slime/ChangeLog:1.664 --- slime/ChangeLog:1.663 Sat Apr 9 09:08:21 2005 +++ slime/ChangeLog Thu Apr 14 17:41:17 2005 @@ -1,3 +1,7 @@ +2005-04-14 Helmut Eller <heller(a)common-lisp.net> + + * slime.el (slime-selector): Discard input after sleeping. + 2005-04-09 Helmut Eller <heller(a)common-lisp.net> * slime.el (sldb-get-buffer): Create a fresh buffer if there's no @@ -8,8 +12,8 @@ because they are potentially useful. * swank.lisp (with-io-redirection, with-connection) - (with-buffer-syntax): Implement macros with a `call-with' - functions to avoid some code bloat. + (with-buffer-syntax): Implement macros with `call-with' functions + to avoid some code bloat. (call-with-connection, maybe-call-with-io-redirection) (call-with-buffer-syntax): New functions. (interactive-eval): Use from-string instead of read-from-string to

1 0

[slime-devel] SLIME via ssh?
by Nicolas Neuss 14 Apr '05

14 Apr '05

Hello, I have SBCL running on an Opteron Cluster (at the moment only one process). This cluster has no Emacs installed. I can connect to it only with ssh. 1. Is it possible to control the remote SBCL job with SLIME running on my own computer (a Laptop)? Can SLIME work also with remote files via Tramp (e.g. by sending expressions to the remote SBCL)? How is the setup? 2. It would be nice if the SBCL job could be kept running (doing a lengthy calculation) while I disconnect and log out (e.g. when carrying my Laptop to another place). What is the right thing to do here? Maybe screen or detachtty? Both are not installed yet, but this would probably be easy... Thanks for any hints, Nicolas.

4 5

[slime-devel] suggested macroexpansion feature (and volunteer)
by Chris Capel 13 Apr '05

13 Apr '05

I've been thinking about a neat feature I think could be implemented in a pretty straightforward way to help with the debugging of macros. There would be a new minor mode for a buffer containing some random form. Selecting any given subform of the buffer's form would macroexpand that one form, in place. Of course, it would have to respect macrolet's and symbol-macrolet's (which isn't that hard, really). I already have the code written (included below) to expand such forms (perhaps buggy, perhaps incomplete). (One thing I know it doesn't do is find and respect macrolets that aren't present in the form until after some expansion. I don't know that this is a big deal.) What's missing is the hooks into slime and Emacs. I don't want to bother with these (because they'd be a lot more effort for me) until I find whether there are any similar features currently available for SLIME. So has anyone done anything like this yet? If not, I suppose SLIME would need another minor mode with some cool keybindings and code to figure out what to pass as the list-indexes variable based on the position in the buffer (perhaps the hardest part?). Chris Capel (defmacro expand (form &environment e) (list 'quote (macroexpand-1 form e))) (defun get-list-to-expand (list list-indexes) (flet ((recurse () (get-list-to-expand (nth (car list-indexes) list) (cdr list-indexes)))) (if (null list-indexes) (list 'expand list) (let ((sym (find (car list) '(macrolet symbol-macrolet)))) (if sym (list sym (cadr list) (recurse)) (recurse)))))) (get-list-to-expand '(symbol-macrolet ((s a)) s) '(2)) (defun nsubst-list (source substitution list-indexes) (if (null list-indexes) substitution (progn (setf (nth (car list-indexes) source) (nsubst-list (nth (car list-indexes) source) substitution (cdr list-indexes))) source))) (nsubst-list '(a b (c d)) '(e f) '(2 1)) (defun subst-all-tree (tree obj-a obj-b &key (test #'equal)) (mapcar (lambda (i) (if (consp i) (subst-all-tree i obj-a obj-b :test test) (if (funcall test obj-a i) obj-b i))) tree)) (subst-all-tree '(a b (c d)) 'd 'e) (defun expand-part (list &rest list-indexes) (nsubst-list list (eval (get-list-to-expand list list-indexes)) list-indexes)) (expand-part '(macrolet ((x (m) `(y ,m))) (x z)) 2) (expand-part '(let ((x 50)) (destructuring-bind (x y z) f (dolist (q y) x))) 2) ;; or "2 3)" for the dolist

2 2

Re: [slime-devel] Re: Question about useage
by Jeffrey Cunningham 10 Apr '05

10 Apr '05

Thanks! -jeff

1 0

[slime-devel] Question about useage
by Jeffrey Cunningham 10 Apr '05

10 Apr '05

This is probably a dumb question, but I haven't been able to figure it out yet. If I'm working with Slime and have defined some method functions for CLOS objects and want to change the number of arguments, when I go to compile one it objects with something like: "Attempt to add the method #<Standard-Method LIST-PARMS (TRACK-CLASS) {48BAC95D}> to the generic function #<Standard-Generic-Function LIST-PARMS (6) {484A09A1}>." I knew that. I was trying to change them all. Is there a way to clear the existence of these functions from lisp's "memory" and start over? Or do I have to kill the session and start it up again? Thanks. --Jeff

3 2

[slime-devel] Problem with SBCL, Slime, and infix.lisp (gack!)
by Brian Downing 10 Apr '05

10 Apr '05

I think this is an SBCL problem (as it doesn't happen in CMUCL), but Slime code tickles it so I'm sending it to both lists. With SBCL, Slime can't find it's way past an infix expression with source-path-stream-position. Because of this, when compiling files with C-c C-k, any notes, warnings, or errors will cause an unrelated infix error. To test this you'll obviously need to load infix.cl, available from http://www.cs.cmu.edu/afs/cs/project/ai-repository/ai/lang/lisp/code/syntax… Put a file somewhere containing these two lines: (quote #i( 2 )) (quote nothing) With Swank loaded, in CMUCL: CL-USER> (with-open-file (f "/tmp/test.lisp") (swank-backend::source-path-stream-position '(1 0) f)) 17 22 With SBCL (0.8.21.26, x86/Linux): CL-USER> (with-open-file (f "/tmp/test.lisp") (swank-backend::source-path-stream-position '(1 0) f)) Infix expression ends with NIL. [Condition of type SIMPLE-ERROR] Restarts: 0: [ABORT] Abort handling SLIME request. 1: [ABORT] Exit debugger, returning to top level. Backtrace: 0: (INFIX::READ-INFIX #<SB-SYS:FD-STREAM for "file \"/tmp/test.lisp\"" {9CB17A1}>) 1: (INFIX::INFIX-READER #<SB-SYS:FD-STREAM for "file \"/tmp/test.lisp\"" {9CB17A1}> #<unavailable argument> #<unavailable argument>) 2: (SB-IMPL::READ-MAYBE-NOTHING #<SB-SYS:FD-STREAM for "file \"/tmp/test.lisp\"" {9CB17A1}> #\#) 3: (SB-IMPL::READ-LIST #<SB-SYS:FD-STREAM for "file \"/tmp/test.lisp\"" {9CB17A1}> #<unavailable argument>) 4: (READ-PRESERVING-WHITESPACE #<SB-SYS:FD-STREAM for "file \"/tmp/test.lisp\"" {9CB17A1}> T NIL T) 5: (READ-PRESERVING-WHITESPACE #<SB-SYS:FD-STREAM for "file \"/tmp/test.lisp\"" {9CB17A1}> T NIL NIL) 6: (READ #<SB-SYS:FD-STREAM for "file \"/tmp/test.lisp\"" {9CB17A1}> T NIL NIL) 7: (SWANK-BACKEND::READ-SOURCE-FORM 1 #<SB-SYS:FD-STREAM for "file \"/tmp/test.lisp\"" {9CB17A1}>) 8: (SWANK-BACKEND::SOURCE-PATH-STREAM-POSITION (1 0) #<SB-SYS:FD-STREAM for "file \"/tmp/test.lisp\"" {9CB17A1}>) This problem is absolutely NOT critical to me, it just came up while trying to help someone on c.l.l. -bcd

1 1

2024

2023

2022

2021

2020

2019

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

2007

2006

2005

2004

2003

slime-devel April 2005