Changes between Version 2 and Version 3 of NestedCPR/wave4main


Ignore:
Timestamp:
Jan 14, 2014 3:04:00 PM (3 months ago)
Author:
nomeata
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • NestedCPR/wave4main

    v2 v3  
    11== wave4main == 
    2  
    3 The analysis below is obsolete. In this case, `go1` does in fact not have the nested CPR property, as the components are not surely terminating: `DmdType <S,U><S,U>m#(,m(tm(),tm(),t,)`. 
    4  
    5 But if they were, the problem would manifest... 
    6  
    7 === Obsolete: === 
    82 
    93Baseline: [0e2fd3/ghc], Tested: nested-cpr (without nesting inside sum-types, without join-point detection).