Changes between Version 91 and Version 92 of Status/SLPJ-Tickets


Ignore:
Timestamp:
Dec 18, 2009 9:03:50 AM (4 years ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Status/SLPJ-Tickets

    v91 v92  
    1414 * #2440: bad code with type families; I believe this is also arity-related 
    1515 * #2762: Arity analysis 
    16  * #2368: ASSERT fails in `CorePrep`.  Seems to be arity-related. 
    1716 * #2831: error expressions and arities 
    1817