Changes between Version 217 and Version 218 of TypeFunctionsStatus

Show
Ignore:
Timestamp:
09/25/07 06:34:38 (6 years ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • TypeFunctionsStatus

    v217 v218  
    22 
    33= Type Functions: Implementation Status = 
     4 
     5'''Open Trac bugs related to type families''' 
     6 
     7 * #1715 
     8 * #1729 
     9 * #1730 
    410 
    511'''Debugging of type families:''' 
    … …  
    915 0. `:t` in ghci doesn't print equalities in contexts properly. 
    1016 0. ghci command to print normalised type and add [http://article.gmane.org/gmane.comp.lang.haskell.cafe/28799] as a test to the testsuite. 
    11  0. #1715 
     17 
    1218 0. To move GADT type checking from refinements to equalities, proceed as follows (as suggested by SPJ): 
    1319    * Implemented this as follows in `TcPat.tcConPat:579:`