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


Ignore:
Timestamp:
Dec 29, 2011 8:22:07 AM (4 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 [email protected] 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.