[e-lang] impl: misc

[Mark Miller]

Dean Tribble wrote:
> I think the clean solution (used in the Joule compiler :-) is to add 
> Hilbert postfixes only to newly introduced occluding definitions (alpha 
> renaming).  Thus, if all variables are unique, nothing gets renamed.

Would this work with quasi-literal composition of programs from fragments?

-- 
Text by me above is hereby placed in the public domain

     Cheers,
     --MarkM