Changes between Version 218 and Version 219 of TypeFunctionsStatus


Ignore:
Timestamp:
Sep 25, 2007 1:34:56 PM (7 years ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeFunctionsStatus

    v218 v219  
    1515 0. `:t` in ghci doesn't print equalities in contexts properly. 
    1616 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. 
    17  
    1817 0. To move GADT type checking from refinements to equalities, proceed as follows (as suggested by SPJ): 
    1918    * Implemented this as follows in `TcPat.tcConPat:579:`