[plt-dev] syntax-local-value and identifier-mappings

From: Matthew Flatt (mflatt at cs.utah.edu)
Date: Thu Mar 19 16:31:00 EDT 2009

At Wed, 18 Mar 2009 18:20:42 -0400, Sam TH wrote:
> I vote for the non-recursive version of `syntax-local-value'

It's `syntax-local-value/immediate' in v4.1.5.3 in SVN.

A transformer binding to a rename transformer still installs
`free-identifier=?' mappings, and `provide' now replaces a
rename-transformer export with the target of the rename to make
`free-identifier=?' work as expected across module boundaries. All of
this machinery can now be disabled for a given rename transformer by
attaching a 'not-free-identifier=? syntax property to the target
identifier; you'll want to do that for the bindings that Typed Scheme
generates, since the choice of rename target needs to be delayed.

Finally, I've added `prop:rename-transformer' and
`prop:set!-transformer', which make it easier to create extended rename
or assignment transformers.



Posted on the dev mailing list.