Fix erroneous float in CoreOpt

Authored by simonpj on Jul 8 2019, 9:09 AM.

Description

Fix erroneous float in CoreOpt

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 Trac #16918

(cherry picked from commit d2e290d3280841647354ddf5ca9abdd974bce0d5)

Details

Committed
bgamariAug 21 2019, 5:36 AM
Parents
rGHC91d12f4e352f: Minor refactoring in CoreSimpl
Branches
Unknown
Tags
Unknown