Compiling E: Phases of Transformations

[Mark S. Miller]

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
>canonical.
>
>All you need to do is to specify a canonical way of generating names.
>There is no reason to generate names differently in diferent
>implementations. 

You are correct.  Done.


         Cheers,
         --MarkM