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


Ignore:
Timestamp:
Dec 20, 2012 1:49:07 PM (3 years 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 [email protected] 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?