| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
GHC.Core.Opt.DmdAnal
Synopsis
- data DmdAnalOpts = DmdAnalOpts {
- dmd_strict_dicts :: !Bool
- dmdAnalProgram :: DmdAnalOpts -> FamInstEnvs -> CoreProgram -> CoreProgram
Documentation
data DmdAnalOpts Source #
Options for the demand analysis
Constructors
| DmdAnalOpts | |
Fields
| |
dmdAnalProgram :: DmdAnalOpts -> FamInstEnvs -> CoreProgram -> CoreProgram Source #
Outputs a new copy of the Core program in which binders have been annotated with demand and strictness information.
Note: use seqBinds on the result to avoid leaks due to lazyness (cf Note
[Stamp out space leaks in demand analysis])