On Jun 19, 2009, at 9:22 AM, Ramana Kumar wrote:

You're still using a syntax object in datum->syntax rather than a
"template id". Does anyone know what a template id is?

I have been guessing that a template id is the pattern variable called
"id" in either of the lines:
(syntax-case stx ()
  ((id . <>) <>)
  (id <>))

Does that match anyone else's guess

I thought about that, but it doesn't make much sense.  Just because
an identifier passes through syntax-case does not bless it with any
new capabilities.

For example, doing

  (datum->syntax id datum)

is exactly the same as doing

  (syntax-case id ()
    [id (datum->syntax #'id datum)])

Aziz,,,

Reply via email to