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


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

--

Legend:

Unmodified
Added
Removed
Modified
  • Status/SLPJ-Tickets

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