[racket-dev] Uninterned symbols in compiled code

From: Matthew Flatt (mflatt at cs.utah.edu)
Date: Fri Jul 6 15:06:26 EDT 2012

At Fri, 6 Jul 2012 12:59:34 -0600, Matthew Flatt wrote:
> As I try to make an example illustrating problems, I see that Racket is
> more resistant to problems created by `gensym' than I expected.

Ah --- one more level of indirection demonstrates the sort of trouble
that I expected. If you compile only "a.rkt" and "b.rkt" below with
`raco make b.rkt', then `racket c.rkt' doesn't work.

#lang racket
(define-syntax (define-maker stx)
  (syntax-case stx ()
    [(_ id)
     (with-syntax ([ga (datum->syntax stx (gensym 'a))])
           (define ga (random))
           (define-syntax-rule (id new-id)
             (define-syntax-rule (new-id)
(define-maker a)
(provide a)

#lang racket/base
(require "a.rkt")
(a b)
(provide b)

#lang racket/base
(require "b.rkt")

Posted on the dev mailing list.