Compiling E: Phases of Transformations
Mark S. Miller
Mon, 07 Aug 2000 23:44:05 -0700
At 11:35 AM 8/7/00 , Ralph Hartley wrote:
> > The transformation from User-E to Kernel-E is standard, portable, and
> > canonical. Modulo choice of generated names, two E implementations must
> > transform the same User-E program into the same Kernel-E program. This is
> > the form of E normally seen by programs that manipulate programs.
>If you're going to make the transformation canonical, make it
>All you need to do is to specify a canonical way of generating names.
>There is no reason to generate names differently in diferent
You are correct. Done.