Changes between Version 3 and Version 4 of ActiveBranches


Ignore:
Timestamp:
Apr 12, 2013 4:13:07 PM (2 years ago)
Author:
goldfire
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • ActiveBranches

    v3 v4  
    11This list overviews the active branches in the main GHC repository.
     2
     3=== `dicts-strict` Strict Dictionaries ===
     4
     5Nick Frisby. Make most dictionary arguments strict. It's stowed in a branch until `cardinality` is merged. It should be easier to implement after `cardinality`'s refactoring.
    26
    37=== `late-dmd` Late Demand Analysis ===
     
    913Nick Frisby. We lift some lambdas before !CorePrep. I'm still determining when to 'not' lift a lambda. My terse notes [wiki:LateLamLift here].
    1014
    11 === `dicts-strict` Strict Dictionaries ===
    12 
    13 Nick Frisby. Make most dictionary arguments strict. It's stowed in a branch until `cardinality` is merged. It should be easier to implement after `cardinality`'s refactoring.
    14 
    1515=== `type-nats` Solver for Type-Level Naturals ===
    1616
    1717Iavor S. Diatchki.  An experimental solver for discharging constraints involving natural numbers.
     18
     19== Inactive branches ==
     20
     21This is a list of inactive branches, including the date of their last commit.
     22
     23=== `ghc-axioms` First attempt at branched type family instances ===
     24
     25Richard 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`.
     26
     27=== `overlapping-tyfams` Proper implementation of branched type family instances ===
     28
     29Richard Eisenberg. Last commit was Dec 21, 2012. Merged into master on Dec 21, 2012, as commit 8366792eede3c8eb486ff15d8c8e62e9363f1959. See NewAxioms.