I&#39;m confused about so-called &quot;identifier macros&quot;.  I had thought that ordinary transformers bound to functions could only transform application-position references to themselves, and that a &quot;set! transformer&quot; was required to transform bare references and set! references.  Turns out I was wrong, set! transformers are in fact only required to transform set! references.  So why are they listed under the documentation for &quot;identifier macros&quot; and why does that documentation imply that normal transformers can&#39;t handle bare references?<br>

<br clear="all">Carl Eastlund<br>