[racket] identifier-binding source-id vs. nominal-source-id

From: Asumu Takikawa (asumu at ccs.neu.edu)
Date: Tue Jul 22 17:03:27 EDT 2014

On 2014-07-22 16:50:13 -0400, Sam Tobin-Hochstadt wrote:
> I think the contract library could provide a syntax-property on the
> identifiers it expands into to point to the original identifier, but
> it doesn't do this currently.

I don't know if it would help, but the contract system does now put some
syntax properties on provided things so that Typed Racket can figure out
how to type-check them.

The undocumented `contract-rename-id-property` function is the key bit.

Cheers,
Asumu

Posted on the users mailing list.