Changes between Version 8 and Version 9 of ActiveBranches


Ignore:
Timestamp:
Aug 22, 2013 6:04:31 PM (2 years 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.