Changes between Version 8 and Version 9 of ActiveBranches


Ignore:
Timestamp:
Aug 22, 2013 6:04:31 PM (8 months ago)
Author:
thoughtpolice
Comment:

Overhaul.

Legend:

Unmodified
Added
Removed
Modified
  • ActiveBranches

    v8 v9  
    1313 * `type-nats`: '''Solver for Type-Level Naturals'''. Iavor S. Diatchki.  An experimental solver for discharging constraints involving natural numbers. 
    1414 
    15  * `type-reasoning` on ''base'': ''' Experiments with type-level reasoning definitions'''.  Richard Eisenberg / Gabor Greif. Changes to !TypeLits and related files to support type-level reasoning. Mostly superseded by conversations summarized at TypeLevelReasoning. 
     15 * `atomics`: '''Atomic memory operations'''. Ryan Newton. This expands on some work Simon Marlow started in 7.2. 
    1616 
    17 = Inactive branches = 
     17 * `simd`: '''SIMD support'''. Geoffrey Mainland. This extends the simple SIMD support in GHC HEAD, and is slated for 7.8. 
    1818 
    19 This is a list of inactive branches, including the date of their last commit. 
     19 * `th-new`: '''New Template Haskell'''. Geoffrey Mainland. This revamps Template Haskell, based on Simon PJ's proposal. See http://ghc.haskell.org/trac/ghc/blog/Template%20Haskell%20Proposal 
     20 
     21 * `ghc-lwc2`: '''Lightweight concurrency substrate support'''. KC Sivaramakrishnan. This implements an evolution of Peng Li's original concept of implementing a lot of the concurrency substrate in the RTS ''in Haskell''. The design is described in a paper, "Composable Scheduler Activations for Haskell", found here: http://research.microsoft.com/en-us/um/people/simonpj/papers/lw-conc/lwc-hs13.pdf. 
     22 
     23= Limbo branches = 
     24 
     25These branches are not merged, but they are also not totally dead ended, and their status is currently uncertain. 
     26 
     27 * `coloured-core`: '''Support for terminal color codes in `-ddump-simpl` output'''. Thomas Schilling. 
     28 
     29 * `supercompiler`: '''Max's Supercompiler'''. Max Bolingbroke. This implements the ideas present in Max's PhD thesis, seen here: http://www.cl.cam.ac.uk/techreports/UCAM-CL-TR-835.html 
     30 
     31 * `local-gc`: '''Capability-local garbage collection'''. Simon Marlow & Simon PJ. As described in "Multicore Garbage Collection with Local Heaps": http://community.haskell.org/~simonmar/papers/local-gc.pdf 
     32 
     33= Uncertain = 
     34 
     35The actual status of these branches, including whether they have been merged and/or superseded, is not clear. 
     36 
     37 * `cpr-sum-types`: '''CPR for sum types'''. Simon PJ. 
     38 
     39 * `tc-arrows`: '''Rearrange the typechecking of arrows, especially arrow "forms"'''. Simon PJ & Ross Patterson. 
     40 
     41 * `cross-compiler-alienless`: '''Better support for cross compilation'''? Gabor Grief. 
     42  
     43 * `srcloc` and `real-src-loc-span: '''Amendments to spannings and SrcLocs'''. Ian Lynagh. 
     44 
     45 * `ghc-spj`: '''???'''. Simon PJ. 
     46 
     47= Dead/merged branches = 
     48 
     49This is a list of inactive branches which have been merged into the tree. 
    2050 
    2151 * `ghc-axioms`: '''First attempt at branched type family instances'''. Richard Eisenberg / José Pedro Magalhães / Simon PJ. Last commit was Jan 3, 2012. This was an early attempt at implementing branched type family instances. Superseded by `overlapping-tyfams`. 
    2252 
    2353 * `overlapping-tyfams`: '''Proper implementation of branched type family instances'''.  Richard Eisenberg. Last commit was Dec 21, 2012. Merged into master on Dec 21, 2012, as commit 8366792eede3c8eb486ff15d8c8e62e9363f1959. See NewAxioms. 
     54 
     55 * `type-reasoning` on ''base'': ''' Experiments with type-level reasoning definitions'''.  Richard Eisenberg / Gabor Greif. Changes to !TypeLits and related files to support type-level reasoning. Merged into master on July 24th by Richard. 
     56 
     57 * `at-defaults`: '''Associated-type defaults'''. Max Bolingbroke. Merged into the 7.4 release. 
     58 
     59 * `cardinality`: '''Cardinality Analysis'''. Ilya Sergey. This will be part of the 7.8 release. 
     60 
     61 * `encoding`: '''Better UTF8 encoding support'''. Max Bolingbroke. This was merged into 7.4 
     62 
     63 * `type-holes-branch`: '''Support for Type Holes'''. Simon PJ, Sean Leather and Thijs Alkemade. This will be part of the 7.8 release. 
     64 
     65 * `imp-param-class`: '''Turn Implicit Parameters into functional dependencies using TypeNats'''. Iavor Diatchki. Merged and will be part of 7.8(?) 
     66 
     67 * `unboxed-tuple-arguments`: '''Extending -XUnboxedTuples'''. Max Bolingbroke. Merged into 7.6. 
     68 
     69 * `ghc-new-co`: '''New GHC Coercions'''. Simon PJ. Merged into 7.4(?) 
     70 
     71 * `ghc-constraint-solver`: '''New constraint solver'''. Simon & Dimitrios. Merged into 7.4(?) 
     72 
     73 * `patch-5084`: '''Fix for #5084'''. Max Bolingbroke. SimonPJ fixed it differently for 7.4(?) 
     74 
     75 * `known-key-serialization`: '''Iface serialization changes'''. Max Bolingbroke. Merged in 7.4(?) 
     76 
     77 * `profiling`: '''Profiling infrastructure overhaul'''. Simon Marlow. Merged in 7.4(?) 
     78 
     79 * `ghc-defer`: '''Deferred type errors'''. Simon PJ. Merged in 7.6. 
     80 
     81 * `silent-sc-args`: '''Silent superclass parameters'''. Simon PJ. Merged in 7.6. 
     82 
     83 * `new-demand-to-merge`: '''New demand analyzer'''. Ilya Sergey. Will be part of 7.8 release. 
     84 
     85 * `patch-7704`: '''Fix for #7704'''. José Pedro Magalhães. Will be part of 7.8.