[e-lang] impl: misc
markm at cs.jhu.edu
Mon May 16 22:23:05 EDT 2005
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
More information about the e-lang