Funny, for guile I get, scheme@(guile-user)> (define (f x) #`(let ((x 1)) #,x)) scheme@(guile-user)> (define-syntax m (lambda (x) (syntax-case x () ((_) #`(let ((x 2)) #,(f #'x)))))) scheme@(guile-user)> (m) $1 = 1
I ported the racket matcher to guile and worked in that environment, so this illustrate the problem. In racket the same idea will error out as you say (I did not find anything wrong with your example). I do prefer the racket behavior of bailing out because it can help detecting the bug in stead of silently behave against the intention for newbies. My original code where this issue comes from is located in compat/racket/match/match.scm in the syntax-parse repo at https://gitorious.org/guile-syntax-parse/guile-syntax-parse This is the racket matcher implemented using syntax-parse! These bugs should have been corrected though in that code! /Stefan On Wed, Jul 4, 2012 at 9:47 AM, Marijn <hk...@gentoo.org> wrote: > -----BEGIN PGP SIGNED MESSAGE----- > Hash: SHA1 > > Hi Stefan, > > On 03-07-12 23:52, Stefan Israelsson Tampe wrote: > > You do not need gensyms if you try to mimic or implement my > > suggested #. . On the other hand when if you do this > > > > (define (f stx) #`(let ((x 1)) #,stx)) > > > > and use this with > > > > #`(let ((x 2)) #,(f #'x)) > > > > the resulting expanded code would produce 1 which is not what you > > want. > > I tried it in Racket: > > > (define-for-syntax (f stx) #`(let ((x 1)) #,stx)) > > (define-syntax (m stx) > (syntax-case stx () > ((_) #`(let ((x 2)) #,(f #'x))) )) > > (m) > > > but I get error messages which I don't know what to do about. Do you > have running examples of code not producing the result you want? > > Marijn > -----BEGIN PGP SIGNATURE----- > Version: GnuPG v2.0.19 (GNU/Linux) > Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org/ > > iEYEARECAAYFAk/z9PsACgkQp/VmCx0OL2xMNACbBJKq9nZJKTzCJbdnq0iPgJoE > rSwAn2yJ1JTLMUn6v5ZR/PatxcGxgVrU > =HFFX > -----END PGP SIGNATURE----- >
