Changes between Version 331 and Version 332 of TypeFunctionsStatus


Ignore:
Timestamp:
Jul 4, 2008 7:52:21 AM (7 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