Changes between Version 390 and Version 391 of TypeFunctionsStatus


Ignore:
Timestamp:
Oct 2, 2008 8:03:04 AM (6 years ago)
Author:
chak
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeFunctionsStatus

    v390 v391  
    4242 * Test `DerivingNewType` 
    4343 * Implementing FDs by TFs: 
    44    * 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`. 
     44   * 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`.  (Apply this change when integrating the simplification of equalities and dictionaries.) 
    4545   * Step 2: Desugar FDs into TFs and superclass equalities. 
    4646  * ghci command to print normalised type and add [http://article.gmane.org/gmane.comp.lang.haskell.cafe/28799] as a test to the testsuite.