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


Ignore:
Timestamp:
May 9, 2011 11:15:08 AM (4 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 ===