Fix demand analyser for unboxed types
This is a tricky case exposed by Trac #9254. I'm surprised it hasn't shown up before, because it's happens when you use unsafePerformIO in the right way. Anyway, fixed now. See Note [Analysing with absent demand] in Demand.lhs (cherry picked from commit d6ee82b2)
Showing
- compiler/basicTypes/Demand.lhs 55 additions, 10 deletionscompiler/basicTypes/Demand.lhs
- compiler/stranal/DmdAnal.lhs 1 addition, 1 deletioncompiler/stranal/DmdAnal.lhs
- testsuite/tests/stranal/should_run/T9254.hs 20 additions, 0 deletionstestsuite/tests/stranal/should_run/T9254.hs
- testsuite/tests/stranal/should_run/T9254.stdout 1 addition, 0 deletionstestsuite/tests/stranal/should_run/T9254.stdout
- testsuite/tests/stranal/should_run/all.T 1 addition, 0 deletionstestsuite/tests/stranal/should_run/all.T
Loading
Please register or sign in to comment