Changes between Version 423 and Version 424 of TypeFunctionsStatus


Ignore:
Timestamp:
Feb 9, 2009 1:05:59 AM (5 years ago)
Author:
chak
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeFunctionsStatus

    v423 v424  
    3939 
    4040 * Misc: 
    41   * #2999 (should go away once we don't update coercion and unification variables during equality solving, but return a set of type variable bindings) 
    4241  * #2658 
    4342  * #2721 (generalised newtype deriving for classes with associated types) 
     
    6564   * 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.) 
    6665   * Step 2: Desugar FDs into TFs and superclass equalities. 
    67   * ghci command to print normalised type and add [http://article.gmane.org/gmane.comp.lang.haskell.cafe/28799] as a test to the testsuite. 
     66  * #3005 & ghci command to print normalised type and add [http://article.gmane.org/gmane.comp.lang.haskell.cafe/28799] as a test to the testsuite. 
    6867  * Most general signatures for record selectors: 
    6968{{{