Hi Simon, Am Freitag, den 27.10.2017, 15:24 +0000 schrieb git@git.haskell.org:

commit 128e4c1ffa29f3dfade7128152c143cd601aaa3a Author: Simon Peyton Jones Date: Fri Oct 27 16:20:24 2017 +0100

Wip on floating join points

do you expect to merge that soon, or can I land Exitification before that? (I’m worried that I have to re-do a lot of performance analysis if the Simplifier suddenly does new things to join points). Blocking for Exitification is: * https://phabricator.haskell.org/D4130 needs to land Or rather, I’d prefer if someone who understands the Simplifier better than I fixes it properly. See https://phabricator.haskell.org/D4130#inline-32243 for bits that I am puzzled about. * I need to understand better why inlining join points in the final simplifier run regresses things. Unless you permit merging Exitification without final inlining even before we completely solve this mystery, on the grounds that - the nofib results say it’s the right thing to do and - there is a plausible theory (exit join points in unfolding enable optimizations in later modules in earlier phases). Greetings, Joachim -- Joachim Breitner mail@joachim-breitner.de http://www.joachim-breitner.de/