Changes between Version 19 and Version 20 of Commentary/Compiler/StrictnessAnalysis/KirstenNotes


Ignore:
Timestamp:
Nov 15, 2006 5:50:47 PM (7 years ago)
Author:
kirsten
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Commentary/Compiler/StrictnessAnalysis/KirstenNotes

    v19 v20  
    7676= WARN: arity /= dmdTypeDepth rhs_dmd_ty && not (exprIsTrivial rhs) = 
    7777 
    78 This warning can happen for (at least) two reasons: 
    79 - lambdas with a strict non-call demand placed on them were being handled wrong (see the first two examples in [Commentary/Compiler/StrictnessAnalysis/Examples]) 
     78This warning was happening for (at least) two reasons: 
     79- lambdas with a strict non-call demand placed on them were being handled wrong (see the first two examples in [[Commentary/Compiler/StrictnessAnalysis/Examples]]) 
    8080- coercions were being handled wrong, resulting in a demand type with depth 0 being assigned to an rhs consisting of a cast from/to a function type