Hi all,

During the summer, as a university project, I would like to make some contributions to GHC. There are three topics in particular that piqued my interest: common subexpression elimination, strictness analysis, and let-floating.

I would like to ask you whether there is any room for improvement in these parts of the compiler. Could you give me some pointers?

Thanks in advance,

Peter