| 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])