Changes between Version 3 and Version 4 of ActiveBranches


Ignore:
Timestamp:
Apr 12, 2013 4:13:07 PM (12 months 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.