[racket-dev] Identifier macros

From: Matthew Flatt (mflatt at cs.utah.edu)
Date: Wed Dec 5 14:12:24 EST 2012

At Wed, 5 Dec 2012 09:41:37 -0500, Matthias Felleisen wrote:
> 
> I think two additions/refinements would be good here: 
> 
> 1. The section on identifier macros in the Guide (16.1.5) should mention that 
> define-syntax introduces short-hands for identifiers, period.

I think "a `define-syntax' that binds to a procedure of one argument"
is what you mean --- but section 16.1 is about `syntax-rules' and
`syntax-id-rules', not procedures as transformers.

Improving the start of 16.2 along these lines makes sense, along with a
better connection to 16.1. Or maybe you're suggesting a different
organization than the current 16.1--16.2 split?

I'm still unclear on the specific text that confused Carl, though. Was
it 16.1?


Posted on the dev mailing list.