Changes between Version 45 and Version 46 of Status/SLPJ-Tickets


Ignore:
Timestamp:
Mar 9, 2009 5:28:47 PM (5 years ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Status/SLPJ-Tickets

    v45 v46  
    6262== Types and type inference == 
    6363  
    64  * #1897: '''Ambiguity: don't infer a type that can't be checked if the type is given as a signature''' (this one is important) 
     64 * #1897: '''Ambiguity: don't infer a type that can't be checked if the type is given as a signature''' (this one is important).  See SPJ's mailbox: Haskell type system/Ambiguity. 
    6565 * #2859: optimise coercion terms 
    6666 * #2641: revise what `-XExtendedDefaultRules` does