Changes between Initial Version and Version 1 of Ticket #1600, comment 23


Ignore:
Timestamp:
Nov 26, 2013 12:19:00 PM (6 years ago)
Author:
nomeata
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #1600, comment 23

    initial v1  
    33
    44Woudn’t that be far too imprecise? That would completely prevent nested CPR in loops, like `factIO` above...
     5
     6Nevermind, you mean we should trim the signature on the binders when analyzing their RHSs. But isn’t that almost what I suggest with the `LoopBreaker`?