Changes between Version 187 and Version 188 of Status/SLPJ-Tickets


Ignore:
Timestamp:
May 9, 2011 11:15:08 AM (3 years ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Status/SLPJ-Tickets

    v187 v188  
    11= This page collects tickets that Simon PJ is interested in, so that he remembers them = 
    22 
    3 == Performance == 
     3== New typechecker things to fix (with Dimitrios) == 
     4 * #4856: slow typechecking (regression) 
     5 * #5051: typechecker behaviour change 
     6 * #5030: slow typechecking 
     7 * #5002: context ignored 
     8 * #4981: inconsistent class reqts 
     9 * #2021: equality superclasses (when we have the new coercion rep) 
     10 
     11 
     12 * #4347: rigid type signatures for impredicativity 
    413 
    514=== Arity ===