Changes between Version 211 and Version 212 of Status/SLPJ-Tickets


Ignore:
Timestamp:
Dec 29, 2011 8:22:07 AM (2 years ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Status/SLPJ-Tickets

    v211 v212  
    1212 * #3697: class method selectors 
    1313 * #3034: divInt and arity 
    14  * #3627: profiling and eta expansion 
    1514 * #2915: arity too small 
    1615 * #2823: another arity expansion bug (related to dictionaries) 
     
    2423 * #3765: CONLIKE things and case expressions (need two unfoldings) 
    2524 * #3073 and [wiki:Commentary/Compiler/DesugaringInstances]: better desugaring for instances 
    26  * #2396: default class method not inlined 
    2725 * #2078: INLINing improvement; ask Christian.Maeder@dfki.de to see if it improves CASL 
    2826 * #2840: top level unlifted string literals 
     
    3634 * #3462: allocate large objects with `allocateLocal()` 
    3735 * #2253: NCG could do better. Look at this when John D’s ncg is working 
    38  * #783: SRTs getting big        
    3936 * #2289: cheap check at start of case alternatives 
    4037 * #2731: avoiding unnecessary evaluation when unpacking constructors 
     
    5552 * #2255, #3767, #2642, #3831, #4941: Improve '''`SpecConstr`''' for free variables, and for join points. 
    5653 * #2374: SAT and `MutableByteArray`    Max? 
    57  * #5363: profiling worsens space behaviour 
    5854 
    5955=== Compiler performance === 
     
    6258 
    6359== Tiresome arithmetic things == 
    64  * #5237: x squared is too slow 
    65  * #2281: properFraction implemented with modf primitive? 
    6660 * #4101: constant folding for `(**)` 
    6761 * #3676: `realToFrac` conversions 
     
    9892 * #3632: better update for records with existentials 
    9993 * #1496, #4846: Newtype deriving and type families type soundness problem 
    100  * #1897: '''Ambiguity: don't infer a type that can't be checked if the type is given as a signature''' (this one is important).  See SPJ's mailbox: Haskell type system/Ambiguity. 
    10194 * #2641: revise what `-XExtendedDefaultRules` does 
    102  * #3592: deep skolemisation 
    103  * #2357: '''Implement the Haskell Prime proposal for polymorphic pattern bindings''' 
    10495 
    10596=== Better error messages === 
     
    10899 * #2648: Report out of date interface files robustly    
    109100 * #2588: Better error message about ‘forall’    
    110  * #2360: Better location info in occurs-check message.  
    111101 * #1928: Confusing type error message (Claus makes suggestions)         
    112102 * #2534: Another confusing type error message   
     
    120110 * #4372: better quasiquotation support 
    121111 * #2041: Splicing in concrete syntax 
    122  * #3507: use "`type T`" instead of {{{''T}}} 
    123112 * #1475: Allow TH to generate import declarations       
    124113 * #2340: Better TH error recovery.  Easy to do; change to signature of qRecover.