Changes between Initial Version and Version 1 of Ticket #12364, comment 5


Ignore:
Timestamp:
Jul 4, 2016 4:29:22 PM (3 years ago)
Author:
nomeata
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #12364, comment 5

    initial v1  
    33Actually inlining would require strictness analysis, wouldn’t it? Extending that to sums might work, but I was looking into demand analysis right now. There, we would be able to turn the thunk into a non-updateable one.
    44
    5 I’m sure I was not confusing it with CPR, but I guess in comment:3 I was thinking about let-up vs. let-down, and that some examples would look better if the analysis would work the other way.
     5I’m sure I was not confusing it with CPR, but I guess in comment:3 I was thinking about the cases where `Just (p+q)` is not passed to a function `f`, but rather returned from a function. In that case, there’d be no useful demand to feed into `Just (p+q)`.