You've bound x at phase 1, but you're looking up a phase 0 binding here. Bug aside, I had no idea there was anything meaningful for external users to do with the values underlying syntax classes. What does the value let you do? Carl Eastlund <div class="gmail_quote">On Mon, Feb 27, 2012 at 3:21 PM, Jon Rafkind <<a href="mailto:rafkind@cs.utah.edu">rafkind@cs.utah.edu</a>> wrote: <blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"> I thought syntax-local-value would produce the syntax-class object that a given identifier is bound to but it errors out with 'x is not defined as syntax'. Any ideas why? There is one part of my original code base where this works and another where it doesn't. I cannot seem to replicate the part that works in a small test case. #lang racket (require (for-syntax syntax/parse)) (begin-for-syntax (define-syntax-class x)) (define-syntax (bar stx) (syntax-case stx () [(_ name) (syntax-local-value #'name)])) (bar x) </blockquote></div>