Changes between Version 26 and Version 27 of Status/SLPJ-Tickets


Ignore:
Timestamp:
Dec 30, 2008 9:01:25 AM (6 years ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Status/SLPJ-Tickets

    v26 v27  
    5858== Types and type inference == 
    5959  
    60  * #1897: don't infer a type that can't be checked if the type is given as a signature 
     60 * #1897: '''Ambiguity: don't infer a type that can't be checked if the type is given as a signature''' (this one is important) 
    6161 * #2859: optimise coercion terms 
    6262 * #2641: revise what `-XExtendedDefaultRules` does