Changes between Version 1 and Version 2 of NestedCPR/wave4main


Ignore:
Timestamp:
Jan 14, 2014 11:50:40 AM (17 months ago)
Author:
nomeata
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • NestedCPR/wave4main

    v1 v2  
    11== wave4main == 
     2 
     3The 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 
     5But if they were, the problem would manifest... 
     6 
     7=== Obsolete: === 
    28 
    39Baseline: [0e2fd3/ghc], Tested: nested-cpr (without nesting inside sum-types, without join-point detection).