Re: bound identifiers

[Stefan Israelsson Tampe <stefan.itampe@gmail.com>]

[-- Attachment #1.1: Type: text/plain, Size: 442 bytes --]

Yes!

see attachement!

/Stefan

On Tue, Jan 17, 2012 at 12:30 AM, Andy Wingo <wingo@pobox.com> wrote:

> On Mon 16 Jan 2012 22:56, Stefan Israelsson Tampe <stefan.itampe@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/
>

[-- Attachment #1.2: Type: text/html, Size: 914 bytes --]

[-- Attachment #2: bound-id.scm --]
[-- Type: text/x-scheme, Size: 413 bytes --]

(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))