whole program optimization

Tim Chevalier catamorphism at gmail.com
Mon Dec 24 14:12:59 EST 2007

On 12/24/07, Simon Peyton-Jones <simonpj at microsoft.com> wrote:
> The GHC API ought to make this relatively easy, but sadly doesn't at the moment.  What you'd want:
> - read in each module in turn, typecheck, desugar, perform modest simplification, and keep the resulting Core bindings

The API can do this already :-)

> - now glom all those bindings together and optimize
> - code generate, write out a .o file

I'm working on this part. In fact, I'm almost ready to check it in --
at least for the single-module case.


Tim Chevalier * http://cs.pdx.edu/~tjc * Often in error, never in doubt
"The blues isn't about feeling better, it's about making other people
feel worse, and making a few bucks while you're at it." -- Bleeding
Gums Murphy

More information about the Glasgow-haskell-users mailing list