Luke
Kavon Farvardin is here as an intern, mainly working on LLVM backend stuff. But he knows a lot about CPS etc and he'd read our paper. In talking about it, we realised a new Join Point Win!
I’ve written it up in
https://ghc.haskell.org/trac/ghc/wiki/Commentary/Compiler/Loopification
under “New idea: use join points”. Let’s do it!
Ticket here: https://ghc.haskell.org/trac/ghc/ticket/13567
Simon