Changes between Version 213 and Version 214 of Status/SLPJ-Tickets


Ignore:
Timestamp:
Dec 29, 2011 8:26:57 AM (4 years ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Status/SLPJ-Tickets

    v213 v214  
    33== New typechecker things to fix (with Dimitrios) ==
    44 * #5321: slow constraint solving
    5  * #4347: rigid type signatures for impredicativity
     5 * #4347, #4295: impredicativity
    66 * #5320: overlap delicacy
    77
     
    7777 * [wiki:TypeFunctionsStatus]
    7878 * #4296: !SkolemOccurs
    79  * #4295: Higher rank and impredicative
    8079 * #816. #3108: extreme delicacy in solve order, involving fundeps
    8180 * #3927: overlap warnings with GADTs