Yes!
see attachement!
/Stefan
On Tue, Jan 17, 2012 at 12:30 AM, Andy Wingo <wi...@pobox.com> wrote:
> On Mon 16 Jan 2012 22:56, Stefan Israelsson Tampe <stefan.ita...@gmail.com>
> writes:
>
> > As you see, it's just wild west to get the racket code working.
>
> :)
>
> Can you give a stripped-down test case for this particular behavior?
>
> That code is paged into my and Mark's minds right now :)
>
> Andy
> --
> http://wingolog.org/
>
(use-modules (srfi srfi-9))
(define-record-type data
(make-data stx)
data?
(stx data-stx))
(define-syntax b
(lambda (x)
(syntax-case x ()
((_ s)
(with-syntax ((d (datum->syntax #'#f (make-data #'s))))
#'(c #'s #'d))))))
(define (c s d)
(let ((d (data-stx (syntax->datum d))))
(pk s)
(pk d)
(bound-identifier=? s d)))
(eval '(let ((t 1)) (b t)) (current-module))
