Changes between Version 334 and Version 335 of TypeFunctionsStatus


Ignore:
Timestamp:
Jul 4, 2008 9:14:19 AM (7 years ago)
Author:
chak
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeFunctionsStatus

    v334 v335  
    1818 * GADT: 
    1919  * #2212 (Assertion failure in `writeMetaTyVar` with -DDEBUG on gadt/equal; see also below) 
     20  * #2151 (nested GADT constructors in patterns) 
    2021 
    2122 * Misc: 
    2223   * #2291 (panic mixing RULES and type families; rule simplification stumbles over a coercion) 
    2324   * #714 (feature request: fundeps treated inconsistently in superclasses and type sigs) 
    24  
    25  
    26  * #1897 If you infer a type for a function, then should check the function against that sigature, to check that if the user gave that signature, then typechecking would again succeed.  See this thread http://www.haskell.org/pipermail/haskell-cafe/2008-April/041385.html) 
    27  * #2151 (GADT) 
     25   * #1897 If you infer a type for a function, then should check the function against that sigature, to check that if the user gave that signature, then typechecking would again succeed.  See this thread http://www.haskell.org/pipermail/haskell-cafe/2008-April/041385.html) 
     26  
    2827 * #2146 (minor problem) 
    2928 * #2102 (superclasses)