Changes between Version 363 and Version 364 of TypeFunctionsStatus

Show
Ignore:
Timestamp:
08/05/08 08:57:00 (5 years ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • TypeFunctionsStatus

    v363 v364  
    3232 * GADT: 
    3333  * #1999 (barfs with corelint) & #2432 (fails in same function, but also w/o corelint) 
    34   * #2212 (Assertion failure in `writeMetaTyVar` with -DDEBUG on gadt/equal; see also below) 
     34  * #2212 (Assertion failure in `writeMetaTyVar` with -DDEBUG on gadt/equal; see also below, and check #2231 and #2366 which are probably duplicates).  Simon found the exact cause: it's in TcSimplify where we abandon an implication constraint despite having solved some equalities. 
    3535  * #2151 (nested GADT constructors in patterns) 
    3636  * #2040 (incomplete deduction of evidence for class contexts in GADT constructors)