| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
GHC.Core.Opt.DmdAnal
Synopsis
- data DmdAnalOpts = DmdAnalOpts {
- dmd_strict_dicts :: !Bool
- dmd_unbox_width :: !Int
- dmd_max_worker_args :: !Int
- dmdAnalProgram :: DmdAnalOpts -> FamInstEnvs -> [CoreRule] -> CoreProgram -> CoreProgram
Documentation
data DmdAnalOpts Source #
Options for the demand analysis
Constructors
| DmdAnalOpts | |
Fields
| |
dmdAnalProgram :: DmdAnalOpts -> FamInstEnvs -> [CoreRule] -> 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])