Changes between Version 367 and Version 368 of TypeFunctionsStatus


Ignore:
Timestamp:
Sep 29, 2008 7:29:57 AM (7 years ago)
Author:
chak
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeFunctionsStatus

    v367 v368  
    3030 
    3131 * GADT: 
    32   * #1999 (barfs with corelint) & #2432 (fails in same function, but also w/o corelint) 
     32  * #2627 (GADT-TF interaction) 
    3333  * #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. 
    3434  * #2151 (nested GADT constructors in patterns)