Re: Compile op and building compilers

2004-09-23 Thread Leopold Toetsch
Steve Fink <[EMAIL PROTECTED]> wrote: > On Sep-20, Dan Sugalski wrote: >> >> Now, the issue is how to actually build a compiler. Right now a >> compiler is a simple thing -- it's a method hanging off the __invoke >> vtable slot of the PMC. First we should unify the return value. We currently have

Re: Compile op and building compilers

2004-09-22 Thread Steve Fink
On Sep-20, Dan Sugalski wrote: > > Now, the issue is how to actually build a compiler. Right now a > compiler is a simple thing -- it's a method hanging off the __invoke > vtable slot of the PMC. I'm not sure I like that, as it seems really, > really hackish. Hacks are inevitable, of course, bu

Compile op and building compilers

2004-09-20 Thread Dan Sugalski
Okay, this is coming up again and I want to get it nailed down. Current semantics, as defined: $Px = compreg $Sy returns a compiler for language $Sy. compreg $Sx, $Py defines $Py as the compiler for language $Sx. $Px = compile $Py, $Sz uses compiler $Py (from a compreg call) to compile the