unofficial mirror of guile-devel@gnu.org 
 help / color / mirror / Atom feed
From: Neil Jerram <neil@ossau.uklinux.net>
Cc: guile-devel@gnu.org
Subject: Re: Status of the "Project Ideas" page / Summer of Code
Date: Wed, 10 May 2006 19:42:41 +0100	[thread overview]
Message-ID: <871wv1lo0u.fsf@ossau.uklinux.net> (raw)
In-Reply-To: <c1d5a43d0605051502h4dab887dnc28ecee7f3a0fcd@mail.gmail.com> (Martin Kuehl's message of "Sat, 6 May 2006 00:02:23 +0200")

"Martin Kuehl" <martin.kuehl@gmail.com> writes:

> And if it works smoothly, a module browser could be implemented on top of it.
> And the way to extend the load-path could be generalized to
> inspect/adapt guile's runtime options.

Yes, those would both be nice features too.

> With "timeout for help-echo evaluations", do you mean that the window
> popping up when I, say, `gds-eval-defun' a defun?

No; the scenario here is when displaying an error stack or stopped at
a breakpoint, so Emacs is displaying the stack in one window and the
source for the selected stack frame in the other window.  In this
state, if you hover the mouse over a variable (or in fact any
identifier) in the highlighted source code, GDS will send a request to
the Guile process to get the value of that variable, and then display
the value in a help-echo (aka tooltip).

Currently the tooltip display routine calls accept-process-output
synchronously until the value comes back from the Guile process, so
GDS will be deadlocked if something goes wrong and prevents the value
from coming back.  Therefore the idea of this task is to impose a
timeout on this.

> The ones that immediately spark my interest are the repl buffer,
> module browser and continuation bookmarking.  Of these, I think I'd
> find the module browser the most useful, but that's because 1) I don't
> think a repl buffer is needed when your "other" buffers are
> interactive enough (think lisp-interaction-mode for scheme buffers
> with gds underneath) and 2) I have absolutely no idea how a usable
> interface for debugging with continuation bookmarks might feel like. I
> doubt a simple "step forward/backward" ui would capture their style
> very well, and I also doubt that the ui for Emacs's own named
> bookmarks would suit any kind of debugging session.
> This task does sound really fancy though :-)
>
> I'm just now remembering buddha[1], a "declarative debugger" for
> Haskell.  An oracle-style interface like that might suit cont.bkm.,
> and the capability to substitute expressions on the fly would be a
> great improvement.

I just took a quick look at [1] (just the "What is buddha?") and I'm
afraid I can't immediately see the connections.  Can you explain a bit
further what you have in mind?

Regards,
        Neil



_______________________________________________
Guile-devel mailing list
Guile-devel@gnu.org
http://lists.gnu.org/mailman/listinfo/guile-devel


  reply	other threads:[~2006-05-10 18:42 UTC|newest]

Thread overview: 12+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2006-04-24 21:17 Status of the "Project Ideas" page / Summer of Code Martin Kuehl
2006-04-25 14:11 ` Andy Wingo
2006-04-25 22:56   ` Neil Jerram
2006-04-25 14:14 ` Ludovic Courtès
2006-04-30  0:34   ` Martin Kuehl
2006-05-02  8:39     ` Ludovic Courtès
2006-05-05 22:02       ` Martin Kuehl
2006-05-05 23:13         ` Clinton Ebadi
2006-05-04  9:40     ` Neil Jerram
2006-05-05 22:02       ` Martin Kuehl
2006-05-10 18:42         ` Neil Jerram [this message]
2006-04-30  7:38 ` Martin Kuehl

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

  List information: https://www.gnu.org/software/guile/

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=871wv1lo0u.fsf@ossau.uklinux.net \
    --to=neil@ossau.uklinux.net \
    --cc=guile-devel@gnu.org \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).