Changes between Version 384 and Version 385 of TypeFunctionsStatus


Ignore:
Timestamp:
Oct 1, 2008 2:49:15 PM (7 years ago)
Author:
chak
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeFunctionsStatus

    v384 v385  
    2828 
    2929 * Misc: 
    30    * Test `Simple17` & `GADT12` (corelint errors) 
     30   * Test `Simple17` (corelint error) 
     31   * Improve error messages for loopy equalities: TF tests Simple13 & SkolemOccursLoop 
    3132   * #2291 (panic mixing RULES and type families; rule simplification stumbles over a coercion) 
    3233   * #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.