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


Ignore:
Timestamp:
Dec 9, 2008 10:46:28 AM (7 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------------------------