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


Ignore:
Timestamp:
Nov 26, 2013 10:23:30 AM (6 years ago)
Author:
nomeata
Comment:

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #1600, comment 21

    initial v1  
    1 One solution, which seems to make sense, is to make the analysis a little bit less precise and more careful with recursive definition. If I make sure that an `Id` that is a LoopBreaker never has a `DmdResult` that `Converges` (by lub’ing it with `Diverges`), both the example above and the typecheck program of nofib compiles.
     1One solution, which seems to make sense, is to make the analysis a little bit less precise and more careful with recursive definition. If I make sure that an `Id` that is a `LoopBreaker` never has a `DmdResult` that `Converges` (by lub’ing it with `Diverges`), both the example above and the typecheck program of nofib compiles.