Changes between Version 220 and Version 221 of Status/SLPJ-Tickets


Ignore:
Timestamp:
Jan 16, 2012 11:58:22 AM (4 years ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Status/SLPJ-Tickets

    v220 v221  
    22
    33== New typechecker things to fix (with Dimitrios) ==
     4 * #5716, #5612, #5682, #5717, #5768, #5769, #5770, #5771,
    45 * #5321: slow constraint solving
    56 * #4347, #4295: impredicativity