From mboxrd@z Thu Jan  1 00:00:00 1970
Path: news.gmane.org!not-for-mail
From: ludo@gnu.org (Ludovic =?iso-8859-1?Q?Court=E8s?=)
Newsgroups: gmane.lisp.guile.bugs
Subject: Re: Quite sneaky bug in SRFI-9
Date: Fri, 11 Mar 2011 21:03:40 +0100
Message-ID: <87lj0lv2zn.fsf@gnu.org>
References: <87fwqvg6xk.fsf@gmx.at> <87aah1n4mp.fsf@gnu.org>
	<m34o795ual.fsf@unquote.localdomain>
NNTP-Posting-Host: lo.gmane.org
Mime-Version: 1.0
Content-Type: text/plain; charset=utf-8
Content-Transfer-Encoding: quoted-printable
X-Trace: dough.gmane.org 1299873849 19602 80.91.229.12 (11 Mar 2011 20:04:09 GMT)
X-Complaints-To: usenet@dough.gmane.org
NNTP-Posting-Date: Fri, 11 Mar 2011 20:04:09 +0000 (UTC)
Cc: bug-guile@gnu.org
To: Andy Wingo <wingo@pobox.com>
Original-X-From: bug-guile-bounces+guile-bugs=m.gmane.org@gnu.org Fri Mar 11 21:04:05 2011
Return-path: <bug-guile-bounces+guile-bugs=m.gmane.org@gnu.org>
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 <bug-guile-bounces+guile-bugs=m.gmane.org@gnu.org>)
	id 1Py8Z9-0000E7-Vx
	for guile-bugs@m.gmane.org; Fri, 11 Mar 2011 21:04:04 +0100
Original-Received: from localhost ([127.0.0.1]:38716 helo=lists.gnu.org)
	by lists.gnu.org with esmtp (Exim 4.43)
	id 1Py8Z8-0004TA-3S
	for guile-bugs@m.gmane.org; Fri, 11 Mar 2011 15:04:02 -0500
Original-Received: from [140.186.70.92] (port=36937 helo=eggs.gnu.org)
	by lists.gnu.org with esmtp (Exim 4.43) id 1Py8Yw-0004PX-2D
	for bug-guile@gnu.org; Fri, 11 Mar 2011 15:03:52 -0500
Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71)
	(envelope-from <ludo@gnu.org>) id 1Py8Ys-0005uK-Hc
	for bug-guile@gnu.org; Fri, 11 Mar 2011 15:03:47 -0500
Original-Received: from solo.fdn.fr ([80.67.169.19]:48356)
	by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from <ludo@gnu.org>)
	id 1Py8Ys-0005u0-9L
	for bug-guile@gnu.org; Fri, 11 Mar 2011 15:03:46 -0500
Original-Received: from nixey (reverse-83.fdn.fr [80.67.176.83])
	(using TLSv1 with cipher DHE-RSA-AES128-SHA (128/128 bits))
	(Client did not present a certificate)
	(Authenticated sender: lcourtes)
	by smtp.fdn.fr (Postfix) with ESMTPSA id 15B2E44504;
	Fri, 11 Mar 2011 21:03:45 +0100 (CET)
X-URL: http://www.fdn.fr/~lcourtes/
X-Revolutionary-Date: 21 =?iso-8859-1?Q?Vent=F4se?= an 219 de la
	=?iso-8859-1?Q?R=E9volution?=
X-PGP-Key-ID: 0xEA52ECF4
X-PGP-Key: http://www.fdn.fr/~lcourtes/ludovic.asc
X-PGP-Fingerprint: 83C4 F8E5 10A3 3B4C 5BEA  D15D 77DD 95E2 EA52 ECF4
X-OS: x86_64-unknown-linux-gnu
In-Reply-To: <m34o795ual.fsf@unquote.localdomain> (Andy Wingo's message of
	"Fri, 11 Mar 2011 20:30:42 +0100")
User-Agent: Gnus/5.110013 (No Gnus v0.13) Emacs/23.3 (gnu/linux)
X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.6 (newer, 2)
X-Received-From: 80.67.169.19
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" <bug-guile.gnu.org>
List-Unsubscribe: <http://lists.gnu.org/mailman/listinfo/bug-guile>,
	<mailto:bug-guile-request@gnu.org?subject=unsubscribe>
List-Archive: <http://lists.gnu.org/archive/html/bug-guile>
List-Post: <mailto:bug-guile@gnu.org>
List-Help: <mailto:bug-guile-request@gnu.org?subject=help>
List-Subscribe: <http://lists.gnu.org/mailman/listinfo/bug-guile>,
	<mailto:bug-guile-request@gnu.org?subject=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:5320
Archived-At: <http://permalink.gmane.org/gmane.lisp.guile.bugs/5320>

Hi!

Andy Wingo <wingo@pobox.com> writes:

> On Fri 11 Mar 2011 14:55, ludo@gnu.org (Ludovic Court=C3=A8s) writes:
>
>>               (define-syntax name
>>                 (lambda (x)
>>                   (syntax-case x ()
>> -                   ((_ formals ...)
>> -                    #'(begin body ...))
>> +                   ((_ args ...)
>> +                    #'(letify (formals ...) (args ...)
>> +                              (begin body ...)))
>
> Alternately:
>
>   ((_ args ...)
>    #'((lambda (formals ...)
>         body ...)
>       args ...))
>
> Guile will turn that into a let.

Nice!

I pushed this and Andreas=E2=80=99 test case, thank you!

Ludo=E2=80=99.