Thanks for the trac tickets about CSE. However, I would like to get some advice on how these features can be improved on generally. Are there any known limitations or areas where they are lacking in some aspect, or feature requests associated with them? Something worthy of a couple month long project.

Regards,

Peter

On Sun, May 13, 2018 at 8:35 PM, Simon Jakobi <simon.jakobi@googlemail.com> wrote:

Hi Peter,

as a start, here are few tickets concerning CSE:
https://ghc.haskell.org/trac/ghc/query?status=!closed&keywords=~CSE

I'm not sure if there are keywords for strictness analysis or
let-floating on Trac. Here's the full list of keywords:
https://ghc.haskell.org/trac/ghc/report/25?max=500.

Hope that helps,
Simon

2018-05-13 17:18 GMT+02:00 Peter Podlovics <peter.d.podlovics@gmail.com>:
> 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
>

> _______________________________________________
> ghc-devs mailing list
> ghc-devs@haskell.org
> http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs
>