Changes between Version 312 and Version 313 of Status/SLPJ-Tickets


Ignore:
Timestamp:
Dec 20, 2012 2:06:05 PM (3 years ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Status/SLPJ-Tickets

    v312 v313  
    5353 * #2440: bad code with type families; I believe this is also arity-related
    5454 * #1547: profiling and arity
     55 * #5587, #7364: eta-expansion can imcrease termination.  These tickets are closed because we don't know how to fix them properly, not becuase they are really fixed.
    5556
    5657=== Inlining ===
     
    131132 * #1330: another bad error message (Church2)
    132133 * #2648: Report out of date interface files robustly   
    133  * #2588: Better error message about ‘forall’   
    134134 * #1928: Confusing type error message (Claus makes suggestions)       
    135  * #2534: Another confusing type error message 
    136135 * #2900: Improve decomposition of function types
    137136