Hi Felix,
On Tue, Oct 14, 2008 at 6:46 AM, Felix Winkelmann <fw...@em...> wrote:
> So if I understand correctly, the C backend of the compiler is
> trampoline based, right? Does it perform a general CPS conversion (as
> in smlnj), or is this representation only used for optimization? I
Yes, the C backend is indeed trampoline based -- the trampoline code
can be found in the main.c file created as the C output. Also, yes,
the compiler does general CPS conversion. We've defined the compiler
backend as the very last step of the compilation process, where the
cps converted, alloc converted and closure converted code is mapped
into C (or Forth). The compiler is based on Appel's book, so in many
respects it's probably similar to sml/nj.
> read the announcement that you are holding a presentation for
> FringeDC. Would there be any material of this available after the
> event?
I actually gave that talk a couple days ago :) I'll send you a link
to the presentation materials when they get online (hopefully soon).
-andrew
|
