unofficial mirror of bug-guile@gnu.org 
 help / color / mirror / Atom feed
From: Andy Wingo <wingo@pobox.com>
To: Hans Aberg <haberg-1@telia.com>
Cc: bug-guile@gnu.org
Subject: Re: GIT version: values
Date: Thu, 27 Jan 2011 10:00:48 +0100	[thread overview]
Message-ID: <m3sjwebu0v.fsf@unquote.localdomain> (raw)
In-Reply-To: <29B3FB6E-6F73-40B2-A8D0-DB16B70656BB@telia.com> (Hans Aberg's message of "Thu, 27 Jan 2011 00:34:57 +0100")

Hi Hans,

On Thu 27 Jan 2011 00:34, Hans Aberg <haberg-1@telia.com> writes:

>>    If you wish to preserve a potentially
>>    multiply-valued return, you will need to set up a multiple-value
>>    continuation, using `call-with-values'.
>
> But this is false.

According to the standard, passing an unintended number of values to a
continuation is undefined.  To portably preserve a potentially
multiply-valued return, you need call-with-values.

You can still implement other paradigms on top of this.  If you want to
express some semantics that is not specified in the report, write a
macro that wraps your expressions in call-with-values.  This is
effectively what we will do for Lua, for example.

Regards,

Andy
-- 
http://wingolog.org/



  reply	other threads:[~2011-01-27  9:00 UTC|newest]

Thread overview: 32+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2011-01-18  9:57 GIT version: values writing Hans Aberg
2011-01-19 14:44 ` GIT version: values Hans Åberg
2011-01-26 20:51   ` Andy Wingo
2011-01-26 23:34     ` Hans Aberg
2011-01-27  9:00       ` Andy Wingo [this message]
2011-01-27 13:20         ` Hans Aberg
2011-01-19 17:05 ` Hans Aberg
2011-01-20 15:17   ` Ludovic Courtès
2011-01-20 17:10     ` Hans Aberg
2011-01-19 19:40 ` GIT version: segmentation fault Hans Aberg
2011-01-26 20:46   ` Andy Wingo
2011-01-26 23:37     ` Hans Aberg
2011-01-19 22:22 ` GIT version: missing linking flag Hans Aberg
2011-01-20 15:20   ` Ludovic Courtès
2011-01-20 17:03     ` Hans Aberg
2011-01-20 21:01       ` Ludovic Courtès
2011-01-20 21:13         ` Hans Aberg
2011-01-21 16:02           ` Ludovic Courtès
2011-01-21 17:59             ` Hans Aberg
2011-01-26 20:52               ` Andy Wingo
2011-01-26 23:44                 ` Hans Aberg
2011-01-29 21:47             ` Ludovic Courtès
2011-01-29 22:51               ` Hans Aberg
2011-01-26 20:55       ` Andy Wingo
2011-01-26 23:47         ` Hans Aberg
2011-01-20 15:16 ` GIT version: values writing Ludovic Courtès
2011-01-20 16:51   ` Hans Aberg
2011-01-20 21:18     ` Ludovic Courtès
2011-01-20 21:55       ` Hans Aberg
2011-01-21 17:13       ` Values extension Hans Aberg
2011-01-26 20:57     ` GIT version: values writing Andy Wingo
2011-01-26 23:50       ` Hans Aberg

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=m3sjwebu0v.fsf@unquote.localdomain \
    --to=wingo@pobox.com \
    --cc=bug-guile@gnu.org \
    --cc=haberg-1@telia.com \
    /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).