[MLton] CPS in MLton

Ben Chambers gtg983q@mail.gatech.edu
Wed, 18 Jan 2006 22:30:30 -0500


I am a student at the Georgia Institute of Technology.  As part of a 
project for Olin Shivers, I have been asked to take the MLton frontend 
and perform a CPS transformation on the IR in order to experiment with 
some optimizations techniques.  Before diving into the source code, I 
was wondering if you could provide any insight into how difficult it 
would be to do this.  Any insight into how to do this would also be 
greatly appreciated.

As far as I understand the project, currently, an optimization has been 
written that will take an IR that uses CPS, and spits out an improved IR 
in CPS.  I have to take at least the frontend from MLton, connect it to 
a CPS transformation, and connect that to the optimization.  Then, I 
will either connect it back to the MLton backend, or write my own backend.

Thanks,
Ben Chambers
gtg983q@mail.gatech.edu