Safe Haskell | None |
---|---|
Language | GHC2021 |
Synopsis
- data DmdAnalOpts = DmdAnalOpts {
- dmd_strict_dicts :: !Bool
- dmd_do_boxity :: !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
DmdAnalOpts | |
|
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 laziness (cf Note
[Stamp out space leaks in demand analysis])