Changes between Version 385 and Version 386 of TypeFunctionsStatus


Ignore:
Timestamp:
Oct 1, 2008 3:56:29 PM (7 years ago)
Author:
chak
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeFunctionsStatus

    v385 v386  
    2828
    2929 * Misc:
    30    * Test `Simple17` (corelint error)
    31    * Improve error messages for loopy equalities: TF tests Simple13 & SkolemOccursLoop
     30   * Test `Simple17` (corelint error as a dict binding, used to specialise a call to a local function, floats out too far)
     31   * Improve error messages for loopy equalities: TF tests `Simple13` & `SkolemOccursLoop`
    3232   * #2291 (panic mixing RULES and type families; rule simplification stumbles over a coercion)
    3333   * #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.
     
    4343   * Step 1: Replace the existing improvement machinery for FDs by code that generates explicit equalities from the two FD rules.  Then, all improvement is by normalisation of equalities, which hopefully allows us to simplify `TcSimplify.reduceContext`.
    4444   * Step 2: Desugar FDs into TFs and superclass equalities.
    45    * ghci command to print normalised type and add [http://article.gmane.org/gmane.comp.lang.haskell.cafe/28799] as a test to the testsuite.
     45  * ghci command to print normalised type and add [http://article.gmane.org/gmane.comp.lang.haskell.cafe/28799] as a test to the testsuite.
    4646
    4747'''Debugging of type families:'''