From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!not-for-mail From: Andy Wingo Newsgroups: gmane.lisp.guile.bugs Subject: Re: GIT version: values Date: Thu, 27 Jan 2011 10:00:48 +0100 Message-ID: References: <162CAAE3-D2D8-4894-9B9F-3397348DCFA2@telia.com> <29B3FB6E-6F73-40B2-A8D0-DB16B70656BB@telia.com> NNTP-Posting-Host: lo.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii X-Trace: dough.gmane.org 1296118570 24711 80.91.229.12 (27 Jan 2011 08:56:10 GMT) X-Complaints-To: usenet@dough.gmane.org NNTP-Posting-Date: Thu, 27 Jan 2011 08:56:10 +0000 (UTC) Cc: bug-guile@gnu.org To: Hans Aberg Original-X-From: bug-guile-bounces+guile-bugs=m.gmane.org@gnu.org Thu Jan 27 09:56:06 2011 Return-path: Envelope-to: guile-bugs@m.gmane.org Original-Received: from lists.gnu.org ([199.232.76.165]) by lo.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1PiNe5-0005yX-7e for guile-bugs@m.gmane.org; Thu, 27 Jan 2011 09:56:01 +0100 Original-Received: from localhost ([127.0.0.1]:48956 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.43) id 1PiNe4-0005RB-Rx for guile-bugs@m.gmane.org; Thu, 27 Jan 2011 03:56:00 -0500 Original-Received: from [140.186.70.92] (port=35397 helo=eggs.gnu.org) by lists.gnu.org with esmtp (Exim 4.43) id 1PiNdz-0005R5-TH for bug-guile@gnu.org; Thu, 27 Jan 2011 03:55:56 -0500 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1PiNdy-0003Ic-IQ for bug-guile@gnu.org; Thu, 27 Jan 2011 03:55:55 -0500 Original-Received: from a-pb-sasl-sd.pobox.com ([64.74.157.62]:63285 helo=sasl.smtp.pobox.com) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1PiNdy-0003IY-Dw for bug-guile@gnu.org; Thu, 27 Jan 2011 03:55:54 -0500 Original-Received: from sasl.smtp.pobox.com (unknown [127.0.0.1]) by a-pb-sasl-sd.pobox.com (Postfix) with ESMTP id D13F030D0; Thu, 27 Jan 2011 03:56:42 -0500 (EST) DKIM-Signature: v=1; a=rsa-sha1; c=relaxed; d=pobox.com; h=from:to:cc :subject:references:date:in-reply-to:message-id:mime-version :content-type; s=sasl; bh=4kOoqSu9QzJgxl83aTsfdYI4LMk=; b=PVVWuj FKV2OV4kvrn8Yb7SRcxyVvlsKkgj9P9+CedftLn0t0Dk1Lw/gDs1/XbixV6l+d91 aDgHQEtT21xEEvjsKUDZM/0xWU9EYAHvaLqklfUhS4BI9FAjFo1SsNjz2/B0DRJo bVeYvNfNnxOSJpgHFOGP9PWM8lNtG0UIVG2xE= DomainKey-Signature: a=rsa-sha1; c=nofws; d=pobox.com; h=from:to:cc :subject:references:date:in-reply-to:message-id:mime-version :content-type; q=dns; s=sasl; b=CT63YPJH9kp0s3UrmEknWte/kDGqo605 AoYze9cc60vMqr8uwqaCuXU4SQ57QSJ5NR0RsttUIrtSyVnuGOUyOx4047Qruqci BWmebChfz/qHhTBexcz91DV6jUqpcG2nUG/Qq6GU31kwxytJ03K0XY6Cvw/cgFkd 2u43I9gj5X8= Original-Received: from a-pb-sasl-sd.pobox.com (unknown [127.0.0.1]) by a-pb-sasl-sd.pobox.com (Postfix) with ESMTP id BFB1F30CF; Thu, 27 Jan 2011 03:56:41 -0500 (EST) Original-Received: from unquote.localdomain (unknown [90.164.198.39]) (using TLSv1 with cipher DHE-RSA-AES256-SHA (256/256 bits)) (No client certificate requested) by a-pb-sasl-sd.pobox.com (Postfix) with ESMTPSA id 2E36630CE; Thu, 27 Jan 2011 03:56:39 -0500 (EST) In-Reply-To: <29B3FB6E-6F73-40B2-A8D0-DB16B70656BB@telia.com> (Hans Aberg's message of "Thu, 27 Jan 2011 00:34:57 +0100") User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/23.2 (gnu/linux) X-Pobox-Relay-ID: 5BF1A59A-29F3-11E0-AE8A-BC4EF3E828EC-02397024!a-pb-sasl-sd.pobox.com X-detected-operating-system: by eggs.gnu.org: Solaris 10 (beta) X-BeenThere: bug-guile@gnu.org X-Mailman-Version: 2.1.5 Precedence: list List-Id: "Bug reports for GUILE, GNU's Ubiquitous Extension Language" List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Original-Sender: bug-guile-bounces+guile-bugs=m.gmane.org@gnu.org Errors-To: bug-guile-bounces+guile-bugs=m.gmane.org@gnu.org Xref: news.gmane.org gmane.lisp.guile.bugs:5050 Archived-At: Hi Hans, On Thu 27 Jan 2011 00:34, Hans Aberg 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/