Simon Peyton Jones authored Jul 08, 2019 and Marge Bot committed Jul 09, 2019

The simple optimiser was making an invalid transformation
to join points -- yikes.  The fix is easy.

I also added some documentation about the fact that GHC uses
a slightly more restrictive version of join points than does
the paper.

Fix #16918