Changes between Version 24 and Version 25 of Status/SLPJ-Tickets


Ignore:
Timestamp:
Dec 9, 2008 10:46:28 AM (6 years ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Status/SLPJ-Tickets

    v24 v25  
    6060 * #1897: don't infer a type that can't be checked if the type is given as a signature 
    6161 * #2859: optimise coercion terms 
     62 * #2641: revise what `-XExtendedDefaultRules` does 
    6263 
    6364------------------------