Potential improvements for CSE, strictness analyzer, let-floating

[Peter Podlovics]

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 at 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 at 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 at haskell.org
> > http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs
> >
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/ghc-devs/attachments/20180513/8f2a6ce6/attachment.html>