Changes between Version 171 and Version 172 of Status/SLPJ-Tickets


Ignore:
Timestamp:
Dec 15, 2010 5:04:17 PM (5 years ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Status/SLPJ-Tickets

    v171 v172  
    105105
    106106 * [wiki:TypeFunctionsStatus]
    107  * #3927, #4139: overlap warnings with GADTs
    108  * #3851: type family expansion
    109  * #3826: equality reasoning failure
    110  * #3692: bogus error message with constraint after arrow
    111  * #3742: implication constraints and inference
    112  * #3731: recursive dictionaries
    113  * #3738: don't float `MethodInsts` out of INLINE right hand sides.
     107 * #3927: overlap warnings with GADTs
    114108 * #2256: Incomplete inference when generalising
    115109 * #2239: Lack of improvement with type functions       Manuel