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


Ignore:
Timestamp:
Dec 20, 2012 2:06:05 PM (16 months 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