From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!not-for-mail From: Stefan Israelsson Tampe Newsgroups: gmane.lisp.guile.bugs Subject: bug#10991: syntax-local-binding does not play well with fluid-let-syntax Date: Fri, 6 Jul 2012 21:03:42 +0200 Message-ID: References: <87r4sp1bsf.fsf@pobox.com> NNTP-Posting-Host: plane.gmane.org Mime-Version: 1.0 Content-Type: multipart/alternative; boundary=14dae9340f1731cc7e04c42decfd X-Trace: dough.gmane.org 1341601456 11692 80.91.229.3 (6 Jul 2012 19:04:16 GMT) X-Complaints-To: usenet@dough.gmane.org NNTP-Posting-Date: Fri, 6 Jul 2012 19:04:16 +0000 (UTC) Cc: 10991@debbugs.gnu.org To: Andy Wingo Original-X-From: bug-guile-bounces+guile-bugs=m.gmane.org@gnu.org Fri Jul 06 21:04:15 2012 Return-path: Envelope-to: guile-bugs@m.gmane.org Original-Received: from lists.gnu.org ([208.118.235.17]) by plane.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1SnDp3-0005d8-D6 for guile-bugs@m.gmane.org; Fri, 06 Jul 2012 21:04:09 +0200 Original-Received: from localhost ([::1]:58615 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1SnDp2-0008IQ-52 for guile-bugs@m.gmane.org; Fri, 06 Jul 2012 15:04:08 -0400 Original-Received: from eggs.gnu.org ([208.118.235.92]:49970) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1SnDoy-0008I3-TV for bug-guile@gnu.org; Fri, 06 Jul 2012 15:04:06 -0400 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1SnDow-0002OT-T7 for bug-guile@gnu.org; Fri, 06 Jul 2012 15:04:04 -0400 Original-Received: from debbugs.gnu.org ([140.186.70.43]:43643) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1SnDow-0002ON-MI for bug-guile@gnu.org; Fri, 06 Jul 2012 15:04:02 -0400 Original-Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.72) (envelope-from ) id 1SnDtl-0005Ic-NQ for bug-guile@gnu.org; Fri, 06 Jul 2012 15:09:01 -0400 X-Loop: help-debbugs@gnu.org Resent-From: Stefan Israelsson Tampe Original-Sender: debbugs-submit-bounces@debbugs.gnu.org Resent-CC: bug-guile@gnu.org Resent-Date: Fri, 06 Jul 2012 19:09:01 +0000 Resent-Message-ID: Resent-Sender: help-debbugs@gnu.org X-GNU-PR-Message: followup 10991 X-GNU-PR-Package: guile X-GNU-PR-Keywords: Original-Received: via spool by 10991-submit@debbugs.gnu.org id=B10991.134160172820351 (code B ref 10991); Fri, 06 Jul 2012 19:09:01 +0000 Original-Received: (at 10991) by debbugs.gnu.org; 6 Jul 2012 19:08:48 +0000 Original-Received: from localhost ([127.0.0.1]:53189 helo=debbugs.gnu.org) by debbugs.gnu.org with esmtp (Exim 4.72) (envelope-from ) id 1SnDtX-0005IB-7s for submit@debbugs.gnu.org; Fri, 06 Jul 2012 15:08:48 -0400 Original-Received: from mail-yw0-f44.google.com ([209.85.213.44]:41757) by debbugs.gnu.org with esmtp (Exim 4.72) (envelope-from ) id 1SnDtU-0005I4-Nj for 10991@debbugs.gnu.org; Fri, 06 Jul 2012 15:08:45 -0400 Original-Received: by yhq56 with SMTP id 56so10273519yhq.3 for <10991@debbugs.gnu.org>; Fri, 06 Jul 2012 12:03:43 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:in-reply-to:references:date:message-id:subject:from:to :cc:content-type; bh=wbmdT8WbFmfdEIis3EpPh2DZAafAbZm/mmv6tkRSeC8=; b=O3hURHGvbvVer/zLXiCP13Tq7aiyPxDOchL5ZLvl8OPSzS2RU5d+NQvF/mWzQHEANk 3viX3N8Q45PwS6wF5YhPFAA3OGQL22fjeBqSDvhoAr3qvB2zP1/PtvoiczGA0TYPCJ2q Rsl2snbFwzR103dbOPN7Y9Una/bDK4W+RjdRnptlc/RZkkQh22tl6XeyIRGPnIueTLqJ GlZAi2BCz1qnNUzJ8aAAuemJNp6Y6NHZYeyf4ORBbZ3kZB1IcN0hlmxzq+RqeijezE+D rXFq4/IDKQR3vfa/SjvCLbtD8Futp/lpUlfs4lH4mGO5NbW6tVasEeXx+LgEcXvAw53f j9QQ== Original-Received: by 10.50.179.101 with SMTP id df5mr3383102igc.22.1341601422101; Fri, 06 Jul 2012 12:03:42 -0700 (PDT) Original-Received: by 10.50.41.196 with HTTP; Fri, 6 Jul 2012 12:03:42 -0700 (PDT) In-Reply-To: <87r4sp1bsf.fsf@pobox.com> X-BeenThere: debbugs-submit@debbugs.gnu.org X-Mailman-Version: 2.1.13 Precedence: list X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.6 (newer, 2) X-Received-From: 140.186.70.43 X-BeenThere: bug-guile@gnu.org List-Id: "Bug reports for GUILE, GNU's Ubiquitous Extension Language" List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: bug-guile-bounces+guile-bugs=m.gmane.org@gnu.org Original-Sender: bug-guile-bounces+guile-bugs=m.gmane.org@gnu.org Xref: news.gmane.org gmane.lisp.guile.bugs:6419 Archived-At: --14dae9340f1731cc7e04c42decfd Content-Type: text/plain; charset=ISO-8859-1 Ok, I'm not using this at the moment so I can wait for master to become guile-2.2. I do not know yet why this complexity is needed though (I asked on the racket channel but could not make anything useful out of the comments) Best to leave it as you suggest. /Regards Stefan On Fri, Jul 6, 2012 at 11:25 AM, Andy Wingo wrote: > Hi Stefan, > > Sorry for the late reply. > > On Sun 11 Mar 2012 12:47, Stefan Israelsson Tampe > writes: > > > ;;This shows that f rebounds to yield #t but the info returns %f > > (eq? > > (fluid-let-syntax ((f (lambda x #'#t))) > > (pk (f 1)) > > (info f)) > > %f) > > This is by design. This is as in Racket, where there is a difference > between syntax-local-value and syntax-parameter-value. In master, there > is an additional parameter to resolve-identifier, > `resolve-syntax-parameters?'. > > Suggestion: if you want this, add a similar parameter to psyntax.scm in > stable-2.0, and in both branches plumb it through to a keyword argument > on syntax-local-binding. Update the docs, too :) You had the > beginnings of a patch on bug 10992. > > Thanks! > > Andy > -- > http://wingolog.org/ > --14dae9340f1731cc7e04c42decfd Content-Type: text/html; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable Ok, I'm not using this at the moment so I can wait for master to become= guile-2.2.

I do not know yet why this complexity is needed though (= I asked on the racket channel but
could not make anything useful out of = the comments) Best to leave it as you suggest.

/Regards
Stefan

On Fri, Jul 6, 201= 2 at 11:25 AM, Andy Wingo <wingo@pobox.com> wrote:
Hi Stefan,

Sorry for the late reply.

On Sun 11 Mar 2012 12:47, Stefan Israelsson Tampe <stefan.itampe@gmail.com> writes:

> ;;This shows that f rebounds to yield #t but the info returns %f
> (eq?
> =A0(fluid-let-syntax ((f (lambda x #'#t)))
> =A0=A0 (pk (f 1))
> =A0=A0 (info f))
> =A0%f)

This is by design. =A0This is as in Racket, where there is a differen= ce
between syntax-local-value and syntax-parameter-value. =A0In master, there<= br> is an additional parameter to resolve-identifier,
`resolve-syntax-parameters?'.

Suggestion: if you want this, add a similar parameter to psyntax.scm in
stable-2.0, and in both branches plumb it through to a keyword argument
on syntax-local-binding. =A0Update the docs, too :) =A0You had the
beginnings of a patch on bug 10992.

Thanks!

Andy
--
http://wingolog.org/=

--14dae9340f1731cc7e04c42decfd--