January 2005 - slime-devel - mailman3.common-lisp.net

[slime-devel] slime.el package name errors
by Lynn Quam 20 Jan '05

20 Jan '05

I find that slime is very unforgiving when one accidently types a nonexistent package name into a Lisp slime buffer. In CMUCL, Lisp enters the debugger, and slime selects the *sldb* buffer with the message: Type-error in LISP::PACKAGE-OR-LOSE: "" is not of type PACKAGE [Condition of type TYPE-ERROR] Restarts: 0: [CONTINUE] Make this package. ... Backtrace: 0: (LISP::PACKAGE-OR-LOSE "FEATURE-SET-PATHNAMES-CME") 1: (FIND-SYMBOL "*RADIUS-SITE-GLUE2*" "FEATURE-SET-PATHNAMES-CME") 2: ("DEFSLIMEFUN VARIABLE-DESC-FOR-ECHO-AREA") Locals: SWANK::SYM = #:INVALID SWANK::VARIABLE-NAME = #:INVALID [No catch-tags] 3: (SWANK:VARIABLE-DESC-FOR-ECHO-AREA "feature-set-pathnames-cme::*radius-site-glue2*") I appear to be unable to correct the mistake by editing the erroneous package name, because as soon as I switch to the Lisp slime buffer and position "point" at the erroneous package name, the error reoccurs placing me back in the *sldb* buffer. The same problem also occurs with slime and Allegro 6.2. Is there any simple fix to this problem?

2 1

[slime-devel] Patch for AllegroCL
by Edi Weitz 20 Jan '05

20 Jan '05

Here's a small patch for the AllegroCL backend. Without this patch it breaks for me if I invoke, say, slime-compile-and-load-file on the following file (defun foo (x) (bar x)) (defun quux (y) (bar y)) i.e. if there's more than one position where the undefined function is referenced. Maybe this is new in AllegroCL 7.0. Cheers, Edi.

2 2

[slime-devel] sldb frame restarts now work with non-null argument lists under Allegro
by Ian Eslick 20 Jan '05

20 Jan '05

I have filed a bug report with Franz to fix the incorrect implementation of the spec for 'debugger:frame-retry' that was causing the failure of frame restarts with arguments. I did find a workaround for this (highly annoying) problem. --------------------- ;;; XXX doesn't work for frames with arguments (defimplementation restart-frame (frame-number) (let ((frame (nth-frame frame-number))) (apply #'debugger:frame-retry (append (list frame (debugger:frame-function frame)) (cdr (debugger:frame-expression frame)))))) --------------------- The comment should be removed. This has been tested on keyword, optional and standard argument lists but may not work for all cases. Cheers, Ian

2 1

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

19 Jan '05

Index: slime/ChangeLog diff -u slime/ChangeLog:1.600 slime/ChangeLog:1.602 --- slime/ChangeLog:1.600 Tue Jan 18 08:03:16 2005 +++ slime/ChangeLog Wed Jan 19 10:32:16 2005 @@ -1,10 +1,39 @@ +2005-01-19 Helmut Eller <heller(a)common-lisp.net> + + * swank-gray.lisp (stream-unread-char): If the char argument + doesn't match the contents in the buffer, ignore it and emit a + warning instead. + +2005-01-19 Utz-Uwe Haus <haus+slime(a)merkur.math.uni-magdeburg.de> + + * swank-cmucl.lisp (breakpoint): Add a slot for return values to + 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> + + * slime.el (slime-insert-arglist): Inserts a template for a + function call instead of the plain arglist; this makes a + difference for functions with optional and keyword arguments. + + * swank.lisp (arglist-to-template-string): New function. + (arglist-for-insertion): Use it + (decode-keyword-arg, decode-optional-arg): New functions. + +2005-01-19 Lars Magne Ingebrigtsen <larsi(a)gnus.org> + + * slime.el (slime-header-line-p): Customize variable to + enable/disable the header-line in the REPL. + 2005-01-18 Luke Gorrie <luke(a)synap.se> * slime.el (slime-complete-symbol*-fancy): New variable to enable extra bells and whistles with slime-complete-symbol*. Currently - controls whether to use arglists semantically. - (slime-complete-symbol*): Avoid displaying an arglist when the - minibuffer is active. + controls whether to use arglists semantically. Default is t. + (slime-complete-symbol*-fancy-bit): Factored out this function. + Only do "semantic" completion when the symbol is in + function-position, avoid interning argument names in Emacs, and + don't display arglists if the minibuffer is active. 2005-01-14 Luke Gorrie <luke(a)synap.se>

1 0

[slime-devel] Patch to make slime-insert-arglist more useful
by Matthias Koeppe 19 Jan '05

19 Jan '05

Please find below a patch that makes C-c C-s (slime-insert-arglist) much more useful. Instead of inserting a formal argument list, it inserts a template for a function call; this makes a difference for functions with optional and keyword arguments. After inserting the arguments, point is left on the first argument, like ILISP's C-u M-x arglist-lisp does; this allows editing the arguments easily. Index: slime.el =================================================================== RCS file: /project/slime/cvsroot/slime/slime.el,v retrieving revision 1.443 diff -u -p -u -r1.443 slime.el --- slime.el 16 Dec 2004 22:24:41 -0000 1.443 +++ slime.el 17 Dec 2004 13:24:07 -0000 @@ -4227,7 +4227,17 @@ more than one space." "Insert the argument list for NAME behind the symbol point is currently looking at." (interactive (list (slime-read-symbol-name "Arglist of: "))) - (insert (slime-eval `(swank:arglist-for-insertion ',name)))) + (let ((arglist (slime-eval `(swank:arglist-for-insertion ',name)))) + (cond + ((eq arglist :not-available) + (error "Arglist not available")) + ((string-match "^(" arglist) + (insert " ") + (save-excursion + (insert (substring arglist 1)))) + (t + (save-excursion + (insert arglist)))))) (defun slime-get-arglist (symbol-name) "Return the argument list for SYMBOL-NAME." Index: swank.lisp =================================================================== RCS file: /project/slime/cvsroot/slime/swank.lisp,v retrieving revision 1.272 diff -u -p -u -r1.272 swank.lisp --- swank.lisp 16 Dec 2004 21:16:50 -0000 1.272 +++ swank.lisp 17 Dec 2004 13:25:18 -0000 @@ -1143,17 +1143,108 @@ pretty printing of (function foo) as #'f (*print-length* 10) (*print-circle* t)) (format nil "~A => ~A" sym (symbol-value sym))))))) +(defun decode-keyword-arg (arg) + "Decode a keyword item of formal argument list. +Return three values: keyword, argument name, default arg." + (cond + ((symbolp arg) + (values (intern (symbol-name arg) keyword-package) + arg + nil)) + ((and (consp arg) + (consp (car arg))) + (values (caar arg) + (cadar arg) + (cadr arg))) + ((consp arg) + (values (intern (symbol-name (car arg)) keyword-package) + (car arg) + (cadr arg))) + (t + (error "Bad keyword item of formal argument list")))) +(progn + (assert (equal (multiple-value-list (decode-keyword-arg 'x)) '(:x x nil))) + (assert (equal (multiple-value-list (decode-keyword-arg '(x t))) '(:x x t))) + (assert (equal (multiple-value-list (decode-keyword-arg '((:x y)))) '(:x y nil))) + (assert (equal (multiple-value-list (decode-keyword-arg '((:x y) t))) '(:x y t)))) +(defun decode-optional-arg (arg) + "Decode an optional item of a formal argument list. +Return two values: argument name, default arg." + (etypecase arg + (symbol + (values arg nil)) + (list + (values (car arg) (cadr arg))))) +(progn + (assert (equal (multiple-value-list (decode-optional-arg 'x)) '(x nil))) + (assert (equal (multiple-value-list (decode-optional-arg '(x t))) '(x t)))) + +(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 ")") + (let ((mode nil)) + (loop + (let ((arg (pop arglist))) + (typecase arg + ((member &key &optional &rest &body) + (setq mode arg)) + (string + (princ arg) + (unless (null arglist) + (write-char #\space))) + (t + (case mode + (&key + (multiple-value-bind (keyword arg-symbol default-arg) + (decode-keyword-arg arg) + (declare (ignore default-arg)) + (write keyword) + (write-char #\space) + (princ arg-symbol))) + (&optional + (multiple-value-bind (arg-symbol default-arg) + (decode-optional-arg arg) + (declare (ignore default-arg)) + (write-char #\[) + (princ arg-symbol) + (write-char #\]))) + (&body + (pprint-newline :mandatory) + (princ arg) + (princ "...")) + (&rest + (princ arg) + (princ "...")) + (otherwise + (princ arg))) + (unless (null arglist) + (write-char #\space))))) + (when (null arglist) (return)) + (pprint-newline :fill)))))))))) + +(defun test-print-template (list string) + (string= (arglist-to-template-string list (find-package :swank)) string)) + (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) - " <not available>") + :not-available) (list - (arglist-to-string arglist *buffer-package*))))) + (arglist-to-template-string arglist *buffer-package*))))) (t - " <not available>")))) + :not-available)))) ;;;; Evaluation -- Matthias Köppe -- http://www.math.uni-magdeburg.de/~mkoeppe

2 2

[slime-devel] Inspecting return value at breakpoints (patch included)
by Utz-Uwe Haus 19 Jan '05

19 Jan '05

Hi, I found that when I stop on a breakpoint set with sldb-break-on-return, I am often interested in inspecting the return value. That is printed in the sldb buffer, but not inspectable. Currently I am using the following modifications to signal-breakpoint in the CMUCL case, which make en entry in the breakpoint condition. Then, inspecting the condition yields the information I'm interested in. This is not very beautiful, and it only works with CMUCL, but in case someone can make use of it... later, Utz ----- Index: swank-cmucl.lisp =================================================================== RCS file: /project/slime/cvsroot/slime/swank-cmucl.lisp,v retrieving revision 1.136 diff -u -r1.136 swank-cmucl.lisp --- swank-cmucl.lisp 13 Jan 2005 23:17:02 -0000 1.136 +++ swank-cmucl.lisp 18 Jan 2005 12:29:19 -0000 @@ -1727,7 +1727,8 @@ (c::compiled-debug-function-returns cdfun))) (define-condition breakpoint (simple-condition) - ((message :initarg :message :reader breakpoint.message)) + ((message :initarg :message :reader breakpoint.message) + (values :initarg :values :reader breakpoint.values)) (:report (lambda (c stream) (princ (breakpoint.message c) stream)))) (defimplementation condition-extras ((c breakpoint)) @@ -1740,13 +1741,18 @@ (flet ((brk (fstring &rest args) (let ((msg (apply #'format nil fstring args)) (debug:*stack-top-hint* frame)) - (break 'breakpoint :message msg)))) + (break 'breakpoint :message msg))) + (brk-with-values (values fstring &rest args) + (let ((msg (apply #'format nil fstring args)) + (debug:*stack-top-hint* frame)) + (break 'breakpoint :values values :message msg))) ) (with-struct (di::breakpoint- kind what) breakpoint (case kind (:code-location (case (di:code-location-kind what) ((:single-value-return :known-return :unknown-return) - (brk "Return value: ~{~S ~}" (breakpoint-values breakpoint))) + (brk-with-values (breakpoint-values breakpoint) + "Return value: ~{~S ~}" (breakpoint-values breakpoint))) (t (brk "Breakpoint: ~S ~S" (di:code-location-kind what) ----- -- Utz-Uwe Haus haus(a)mail.math.uni-magdeburg.de Inst. f. Mathemat. Optim. utz(a)uuhaus.de Uni Magdeburg PGP keys 1024/6AD23BE1 and 2048/5D0B72A1 GERMANY available via keyservers or email request

2 1

[slime-devel] SBCL 0.8.18 with SLIME
by frodeaux 19 Jan '05

19 Jan '05

I'm new to SLIME. Installing with the latest SBCL seems to go ok with the "Meta-x slime" until I get the following Connected. Hack and be merry! error in process filter: slime-process-available-input: Wrong type argument: listp, \223 error in process filter: Wrong type argument: listp, \223 Can anyone suggest how to deal with this? Thanks

2 1

[slime-devel] Problem with reading from *QUERY-IO*
by Peter Seibel 19 Jan '05

19 Jan '05

In a just synced SLIME running against a just synced CVS Emacs an GNU/Linux with Allegro 7.0 I seem to be having some trouble reading from *QUERY-IO*. One call works fine but two calls in a row drop me in a debugger, perhaps because there's some extra characters on the stream that are being considered as constituent chars. Here's a simple test case: CL-USER> (progn (read *query-io*) (read *query-io*)) :foo :bar ; Evaluation aborted The error in the debugger was this: Package "^@" not found. [Condition of type READER-ERROR] Restarts: 0: [ABORT] Abort handling SLIME request. 1: [ABORT] Abort entirely from this (lisp) process. Backtrace: 0: (SWANK::DEBUG-IN-EMACS #<READER-ERROR @ #x72144cd2>) 1: ((FLET SWANK:SWANK-DEBUGGER-HOOK SWANK::DEBUG-IT)) 2: (SWANK:SWANK-DEBUGGER-HOOK #<READER-ERROR @ #x72144cd2> #<Function SWANK-DEBUGGER-HOOK>) 3: (ERROR READER-ERROR :STREAM #<TWO-WAY-STREAM "" @ #x71345fd2> :FORMAT-CONTROL "~?~@[ [file position = ~d]~]" :FORMAT-ARGUMENTS ("Package ~S not found." ("") NIL)) 4: (READ #<TWO-WAY-STREAM "" @ #x71345fd2>) 5: (EVAL (PROGN (READ *QUERY-IO*) (READ *QUERY-IO*))) ... As far as I can tell the ^@ is a null (char-code #\^@) ==> 0 -Peter -- Peter Seibel peter(a)javamonkey.com Lisp is the red pill. -- John Fraser, comp.lang.lisp

3 2

[slime-devel] Small patch for disabling the Emacs 21 header line
by Lars Magne Ingebrigtsen 19 Jan '05

19 Jan '05

I really like using all the lines in my buffers, so here's a patch to allow people to switch the header line off: *** slime.el.~1.448.~ Mon Jan 17 15:50:47 2005 --- slime.el Wed Jan 19 11:08:17 2005 *************** *** 2273,2278 **** --- 2273,2283 ---- ;;;; Stream output + (defcustom slime-header-line-p t + "If non-nil, display a header line in Slime buffers." + :type 'boolean + :group 'slime-repl) + (make-variable-buffer-local (defvar slime-output-start nil "Marker for the start of the output for the evaluation.")) *************** *** 2311,2317 **** (slime-connection-port (slime-connection)) (slime-pid))) ;; Emacs21 has the fancy persistent header-line. ! (use-header-p (boundp 'header-line-format)) ;; and dancing text (animantep (and (fboundp 'animate-string) slime-startup-animation --- 2316,2323 ---- (slime-connection-port (slime-connection)) (slime-pid))) ;; Emacs21 has the fancy persistent header-line. ! (use-header-p (and slime-header-line-p ! (boundp 'header-line-format))) ;; and dancing text (animantep (and (fboundp 'animate-string) slime-startup-animation -- (domestic pets only, the antidote for overdose, milk.) larsi(a)gnus.org * Lars Magne Ingebrigtsen

2 1

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

18 Jan '05

Index: slime/ChangeLog diff -u slime/ChangeLog:1.599 slime/ChangeLog:1.600 --- slime/ChangeLog:1.599 Fri Jan 14 09:08:49 2005 +++ slime/ChangeLog Tue Jan 18 08:03:16 2005 @@ -1,3 +1,11 @@ +2005-01-18 Luke Gorrie <luke(a)synap.se> + + * slime.el (slime-complete-symbol*-fancy): New variable to enable + extra bells and whistles with slime-complete-symbol*. Currently + controls whether to use arglists semantically. + (slime-complete-symbol*): Avoid displaying an arglist when the + minibuffer is active. + 2005-01-14 Luke Gorrie <luke(a)synap.se> * slime.el (slime-repl-send-input): Make old input read-only using

1 0