Changes between Initial Version and Version 1 of Ticket #8091, comment 3


Ignore:
Timestamp:
Jul 25, 2013 10:30:46 AM (20 months ago)
Author:
parcs
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #8091, comment 3

    initial v1  
    22 
    33But in this particular example , `f` seems to be lazy in `y` even when `retry` is replaced with `throw Overflow`: its strictness signature is `<S,1*U(U)><L,1*U(U)><L,U>` either way.. 
    4  
    5 (It would be incorrect, I think, to have `f` strict in `y` since that could potentially elide the side-effect-having call to `readTVar`.) 
    64 
    75I found an example of a function whose strictness does change due to this patch (courtesy of the comments for `RaiseIOOp` in primops.txt.pp):