Changes between Version 194 and Version 195 of Status/SLPJ-Tickets


Ignore:
Timestamp:
Aug 2, 2011 3:38:28 PM (4 years ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Status/SLPJ-Tickets

    v194 v195  
    22 
    33== New typechecker things to fix (with Dimitrios) == 
    4  * #5030: slow typechecking 
     4 * #5321: slow constraint solving 
    55 * #4347: rigid type signatures for impredicativity 
    66 * #4310: deferred equalities and forall types (needs Brent's work)  
     7 * #5320: overlap delicacy 
    78 
    89