Changes between Version 310 and Version 311 of Status/SLPJ-Tickets


Ignore:
Timestamp:
Dec 20, 2012 1:49:07 PM (16 months ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Status/SLPJ-Tickets

    v310 v311  
    22 
    33== Type inference == 
    4  * #5591: add left/right back to coercions 
    54 * #5682: Parsing of pomoted kinds 
    65 * #6022: over-general types are inferred 
    7  * #5913, #5751, #6117, #6161: type-class dictionary loops (branch `silent-sc-args`) 
    8  * #5642, #5970, #5030: slow constraint solving 
     6 * #5642: slow constraint solving 
    97 
     8 * #7503: Kind polymorphism and mutual recursion 
    109 * #6018: Injective type families (patch offered) 
    1110 * #7259: Eta-expansion of products in System FC 
     
    1312 * #5863: deriving `Typeable` for data families 
    1413 * [wiki:NewAxioms] Pattern matching axioms 
    15  * #7071, #5267, #5609, #5777, #344: bugs in arrows; awaiting refactoring by Dan 
     14 * #5267, #5609, #5777, #344: bugs in arrows 
    1615 * #7204: a class to controll FFI marshalling; and newtype deriving for classes with ATs 
    1716 
     
    2019 * #1475: allow splicing of import declarations (5 in cc list) 
    2120 * #4364: cycle in type declarations 
    22  * #5469, #4429: `reinerp` work on `newName` and export reorganisation 
     21 * #4429: `reinerp` work on `newName` and export reorganisation 
    2322 * #7021: make TH catch up with constraint kinds 
    2423 
    2524== Optimisation == 
    2625 * #7511: inlining can make programs allocate MORE!! 
    27  * #7307, #7308: low hanging fruit for shrinking code size for string constants and top-level indirections 
     26 * #7307: low hanging fruit for shrinking code size for string constants and top-level indirections 
    2827 * #7206, #7309: avoid excessive sharing of enumerations 
    2928 * #6040, #5945, #3458, #1216: lambda-lift functions with a few args, just before code gen 
     
    6059 * #3765: CONLIKE things and case expressions (need two unfoldings) 
    6160 * #3073 and [wiki:Commentary/Compiler/DesugaringInstances]: better desugaring for instances 
    62  * #2078: INLINing improvement; ask Christian.Maeder@dfki.de to see if it improves CASL 
    6361 * #2840: top level unlifted string literals 
    6462 * #3123: feature request: recursive inlining and peeling 
     
    6765== New code generator == 
    6866 * Summary ticket: #4258, and [wiki:Commentary/Compiler/NewCodeGen wiki page] 
    69  * #4065: forward propagation 
    70  * #3132: fix cgCase of !PrimAlts 
    7167 * #3462: allocate large objects with `allocateLocal()` 
    72  * #2253: NCG could do better. Look at this when John D’s ncg is working 
    7368 * #2289: cheap check at start of case alternatives 
    7469 * #2731: avoiding unnecessary evaluation when unpacking constructors 
    75  * #3940: propagate fix 
    7670 
    7771=== Optimiser === 
     
    8478 * #2439: Strict dictionaries 
    8579 * #2988: better float-in 
    86  * #2132: Optimise nested comparisons: if you know x>0 then you know x>=1 etc.  Maybe a special pass that knows about arithmetic?  (Patch offered) 
    8780 * #2255, #3767, #2642, #3831, #4941: Improve '''`SpecConstr`''' for free variables, and for join points. 
    8881 * #2374: SAT and `MutableByteArray`    Max?