Changes between Version 331 and Version 332 of TypeFunctionsStatus


Ignore:
Timestamp:
Jul 4, 2008 7:52:21 AM (6 years ago)
Author:
chak
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeFunctionsStatus

    v331 v332  
    55'''Open Trac bugs related to type families''' 
    66 
    7  * #2366 (GADT) 
    8  * #714 (fundeps treated inconsistently in superclasses and type sigs) 
    9  * #2291 (panic mixing RULES and type families) 
    10  * #2235 (occurs check) 
     7 * Solving of equalities (`TcTyFuns`): 
     8  * #2235 (bogus occurs check) 
     9 
     10 * GADT: 
     11  * #2366 (Assertion failure in `writeMetaTyVar` with -DDEBUG on gadt/equal; see also below) 
     12 
     13 * Misc: 
     14   * #2291 (panic mixing RULES and type families; rule simplification stumbles over a coercion) 
     15   * #714 (feature request: fundeps treated inconsistently in superclasses and type sigs) 
     16 
    1117 * #2219 
    1218 * #2212