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

Show
Ignore:
Timestamp:
12/09/08 01:05:33 (4 years ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • Status/SLPJ-Tickets

    v23 v24  
    5656 
    5757------------------------ 
     58== Types and type inference == 
     59  
     60 * #1897: don't infer a type that can't be checked if the type is given as a signature 
     61 * #2859: optimise coercion terms 
     62 
     63------------------------ 
    5864== Better error messages ==  
    5965 * #2648: Report out of date interface files robustly