Changes between Version 387 and Version 388 of TypeFunctionsStatus


Ignore:
Timestamp:
Oct 2, 2008 5:51:15 AM (6 years ago)
Author:
chak
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeFunctionsStatus

    v387 v388  
    2929   * Test `Simple17` (corelint error as a dict binding, used to specialise a call to a local function, floats out too far) 
    3030   * Improve error messages for loopy equalities: TF tests `Simple13` & `SkolemOccursLoop` 
    31    * #2291 (panic mixing RULES and type families; rule simplification stumbles over a coercion) 
    3231   * #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. 
    3332   * #1769 (deriving typeable for data families)