wiki:FloatOut

Float out and full laziness

This is a status page for full laziness, implemented by the float-out transformation.

The relevant modules in GHC are SetLevels and FloatOut.

Tickets

Use Keyword = FloatOut to ensure that a ticket ends up on these lists.

Open Tickets:

#917
-O introduces space leak
#7206
Implement cheap build
#7367
float-out causes extra allocation
#8457
-ffull-laziness does more harm than good
#14564
CAF isn't floated
#15606
Don't float out lets in between lambdsa
#16039
'GHC.Magic.noinline <var>' should not float out

Closed Tickets:

#1945
Full laziness is sometimes a pessimisation
#3273
memory leak due to optimisation
#4276
-O0 runs in constant space, -O1 and -O2 don't
#5729
ForeignPtr leak in ghci
#10535
Float out causes major space leak

Last modified 23 months ago Last modified on Dec 8, 2017 10:00:02 AM