Re: whole program optimization

On 12/24/07, Simon Peyton-Jones 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. Cheers, Tim -- 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