Join points

[Simon Peyton Jones]

All,

Yes, do take  a look at this.  It’s a fairly direct implementation of the paper “Compiling without continuations<https://www.microsoft.com/en-us/research/publication/compiling-without-continuations/>”.  You should definitely read the paper first; it’ll set the scene.

I am really hoping to get this into 8.2.  It’s a significant step forward in GHC’s optimisation pipeline.

I’ve reviewed quite a bit of the code with Luke, but you should feel free to say “couldn’t this be simpler?” where you get confused or stuck.  Unlike, say, type-in-type (!) it’s not that hard, and there should not be anything really obscure.

I’m sure there are ways to make it simpler and better.  (That’s why I am endlessly refactoring GHC.)  So review away.

Thank you Luke!

Simon


From: ghc-devs [mailto:ghc-devs-bounces at haskell.org] On Behalf Of Luke Maurer
Sent: 17 January 2017 20:24
To: ghc-devs <ghc-devs at haskell.org>
Subject: Join points


Hello all! For your consideration, I present patch D2853: Join points.

https://phabricator.haskell.org/D2853

It validates* and it's ready for wider reviewing, so please help me get it to land before the freeze!

It's ... sizable. There's not really any way to split it, since there are many interdependencies. I've put up a "tour" as part of the SequentCore page on the wiki:

https://ghc.haskell.org/trac/ghc/wiki/SequentCore

This should help with where to start. Also included on the wiki are benchmarks and lots of general information.

*Modulo a few long URLs and a known bug (D2964).

- Luke Maurer
University of Oregon
maurerl at cs.uoregon.edu<mailto:maurerl at cs.uoregon.edu>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/ghc-devs/attachments/20170117/6ff2f000/attachment.html>