wiki:DemandAnalysis

Demand analysis

This page summarises the state of play for GHC's demand analysis (aka strictness analysis).

See also

Tickets

Use Keyword = DemandAnalysis to ensure that a ticket ends up on these lists.

Open Tickets:

#1171
GHC doesn't respect the imprecise exceptions semantics
#3138
Returning a known constructor: GHC generates terrible code for cmonad
#4941
SpecConstr generates functions that do not use their arguments
#5302
Unused arguments in join points
#5775
Inconsistency in demand analysis
#6070
Fun with the demand analyser
#10069
CPR related performance issue
#10918
Float once-used let binding into a recursive function
#11126
Entered absent arg in a Repa program
#12364
Demand analysis for sum types
#14259
Worker/Wrapper for sum return
#14816
Missed Called Arity opportunity?
#14998
Sort out the strictness mess for exceptions
#16284
Abortion of fixed-point iteration in Demand Analyser discards sound results

Closed Tickets:

#4267
Strictness analyser is to conservative about passing a boxed parameter
#5949
Demand analysis attributes manifestly wrong demand type
#7782
flag to run the demand analysis a second time
#15226
GHC doesn't know that seq# produces something in WHNF
#15627
Absent unlifted bindings
#15696
Derived Ord instance for enumerations with more than 8 elements seems to be incorrect
#16029
Inadequate absence analysis
#16197
Strictness is not preserved under -O1

Last modified 8 months ago Last modified on Feb 4, 2019 4:08:50 PM