• Simon Peyton Jones's avatar
    Fix addDataConStrictness · 9014a7ee
    Simon Peyton Jones authored
    See Note [Add demands for strict constructors].
    
    The new bit is the test for isAbsDmd in addDataConStrictness.
    There was a cryptic note that said that this function
    should add a seqDmd even for Absent arguments, but that
    is definitely a bad thing (as the Note now says), causing
    unused arguments to be passed to the worker.
    
    Easy fix!
    9014a7ee
DmdAnal.hs 48.9 KB