#7782: flag to run the demand analysis a second time -------------------------------------+------------------------------------- Reporter: nfrisby | Owner: Type: task | Status: new Priority: high | Milestone: 7.12.1 Component: Compiler | Version: 7.7 Resolution: | Keywords: Operating System: Unknown/Multiple | Architecture: Type of failure: None/Unknown | Unknown/Multiple Blocked By: | Test Case: Related Tickets: #4941, #5302, | Blocking: #6087, #4962 | Differential Revisions: -------------------------------------+------------------------------------- Description changed by simonpj: Old description:

There are some tickets documenting runtime bugs that can be cleaned up by running the demand analyzer (followed by a simplifier run) a second time at the end of the pipeline: #4941, #5302, #6087. #6070 ? Others?

The -flate-dmd-anal flag has been committed to HEAD (cf comment:10 below).

The remaining task is to determine if `-O2` should imply `-flate-dmd- anal`. It currently does not: late demand analysis is ''off'' by default.

See LateDmd for more info.

New description: There are some tickets documenting runtime bugs that can be cleaned up by running the demand analyzer (followed by a simplifier run) a second time at the end of the pipeline: #4941, #5302, #6087, #6070. #10626 ? Others? The -flate-dmd-anal flag has been committed to HEAD (cf comment:10 below). The remaining task is to determine if `-O2` should imply `-flate-dmd- anal`. It currently does not: late demand analysis is ''off'' by default. See LateDmd for more info. -- -- Ticket URL: http://ghc.haskell.org/trac/ghc/ticket/7782#comment:15 GHC http://www.haskell.org/ghc/ The Glasgow Haskell Compiler