unofficial mirror of guile-devel@gnu.org 
 help / color / mirror / Atom feed
From: Neil Jerram <neil@ossau.uklinux.net>
Cc: Guile Development <guile-devel@gnu.org>
Subject: Use of continuations in eval traps
Date: Fri, 28 Oct 2005 19:56:54 +0100	[thread overview]
Message-ID: <878xwdbhc9.fsf@ossau.uklinux.net> (raw)

Hi Mikael,

I'm writing directly to you (CC guile-devel) because I believe you
originally implemented the low level traps in eval.c - please correct
me if that's wrong.

I'm thinking about how to implement the ability to skip over the
evaluation of an expression, and providing an easy interface for use
in my Emacs front end, and wondering whether the existing
continuation-based approach is really needed.  The problem with the
continuation approach (in other words, whenever the 'cheaptraps option
is off) is that a continuation is set up before every trap call even
though it won't be needed in most cases, and it seems to me that one
could get similar function by passing the expression to evaluate into
the trap handler and allowing the trap handler to modify it (either by
side effect or by return, to be determined).

If I'm right, it also follows that we could remove the 'cheaptraps
option and use debug-objects unconditionally for these trap calls.
Note that the trap handler remains free to save off its continuation
itself, if that is useful.

What do you think?

Regards,
        Neil



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


             reply	other threads:[~2005-10-28 18:56 UTC|newest]

Thread overview: 3+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2005-10-28 18:56 Neil Jerram [this message]
2005-10-28 20:54 ` Use of continuations in eval traps Mikael Djurfeldt
2005-10-28 21:18   ` Neil Jerram

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=878xwdbhc9.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).