Changes between Version 2 and Version 3 of NestedCPR/wave4main


Ignore:
Timestamp:
Jan 14, 2014 3:04:00 PM (19 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).