Changes between Version 332 and Version 333 of TypeFunctionsStatus


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

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeFunctionsStatus

    v332 v333  
    66 
    77 * Solving of equalities (`TcTyFuns`): 
    8   * #2235 (bogus occurs check) 
     8  * #2219 & #2235 (bogus occurs check failure - in both bugs, the loop is through a TF) 
    99 
    1010 * GADT: 
     
    1515   * #714 (feature request: fundeps treated inconsistently in superclasses and type sigs) 
    1616 
    17  * #2219 
     17 
    1818 * #2212 
    1919 * #2202 (Uses `a ~ MeshVertex a b` in `normaliseWantedDicts` w/o the occurs check kicking in; also occurs in 6.8.2 and the program doesn't mention TFs, so need to merge):