Hi Andy,
> commit de41e56492666801078e73860a358e1c63cbc8c2
> Author: Andy Wingo <[email protected]>
> Date: Fri Nov 4 19:34:22 2011 +0100
>
> hygienically rename macro-introduced bindings, reproducibly
>
> * module/ice-9/psyntax.scm (chi-top-sequence): Detect bindings to
> identifiers introduced by macros. In that case, in order to preserve
> hygiene, uniquify the variable's name, but in a way that is
> reproduceable (i.e., yields the same uniquified name after a
> recompile).
What method do you use to uniquify a macro-introduced top-level name,
such that a recompile yields the same name? I have doubts that this is
possible without breaking hygiene in some cases.
Mark
