Changes between Version 101 and Version 102 of Status/SLPJ-Tickets


Ignore:
Timestamp:
Jan 20, 2010 11:54:00 AM (4 years ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Status/SLPJ-Tickets

    v101 v102  
    8989 * #2239: Lack of improvement with type functions       Manuel 
    9090 * #700: universals in pattern matching 
     91 * #3696: better error message fr missing signature 
    9192 
    9293== Types and type inference ==