Changes between Version 6 and Version 7 of ActiveBranches


Ignore:
Timestamp:
Apr 15, 2013 12:35:23 PM (23 months ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • ActiveBranches

    v6 v7  
    11This list overviews the active branches in the main GHC repository. 
    22 
    3 === `dicts-strict` Strict Dictionaries === 
     3= Active branches = 
    44 
    5 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. 
     5 * `dicts-strict` '''Strict Dictionaries'''.  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. 
    66 
    7 === `late-dmd` Late Demand Analysis === 
     7 * `late-dmd` '''Late Demand Analysis'''. Nick Frisby. See #7782. It's stowed in a branch become of some nofib slowdowns I'm struggling to understand. 
    88 
    9 Nick Frisby. See #7782. It's stowed in a branch become of some nofib slowdowns I'm struggling to understand. 
     9 * `late-lam-lift` '''Late Lambda Lift'''.  Nick Frisby. We lift some lambdas before !CorePrep. I'm still determining when to 'not' lift a lambda. My terse notes [wiki:LateLamLift here]. 
    1010 
    11 === `late-lam-lift` Late Lambda Lift === 
     11 * `ticky-for-all-lets` '''Ticky for all `let`s'''.  Nick Frisby. I think this patch is in mostly good shape, but I had to revert it because of a silly mistake. Need to double-check it. It adds ticky counters for lets, even those that don't end up as proper closures. 
    1212 
    13 Nick Frisby. We lift some lambdas before !CorePrep. I'm still determining when to 'not' lift a lambda. My terse notes [wiki:LateLamLift here]. 
     13 * `type-nats` '''Solver for Type-Level Naturals'''. Iavor S. Diatchki.  An experimental solver for discharging constraints involving natural numbers. 
    1414 
    15 === `ticky-for-all-lets` Ticky for all `let`s === 
     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. 
    1616 
    17 Nick Frisby. I think this patch is in mostly good shape, but I had to revert it because of a silly mistake. Need to double-check it. It adds ticky counters for lets, even those that don't end up as proper closures. 
    18  
    19 === `type-nats` Solver for Type-Level Naturals === 
    20  
    21 Iavor S. Diatchki.  An experimental solver for discharging constraints involving natural numbers. 
    22  
    23 === `type-reasoning` on ''base'' Experiments with type-level reasoning definitions === 
    24  
    25 Richard Eisenberg / Gabor Greif. Changes to !TypeLits and related files to support type-level reasoning. Mostly superseded by conversations summarized at TypeLevelReasoning. 
    26  
    27 == Inactive branches == 
     17= Inactive branches = 
    2818 
    2919This is a list of inactive branches, including the date of their last commit. 
    3020 
    31 === `ghc-axioms` First attempt at branched type family instances === 
     21 * `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`. 
    3222 
    33 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`. 
    34  
    35 === `overlapping-tyfams` Proper implementation of branched type family instances === 
    36  
    37 Richard Eisenberg. Last commit was Dec 21, 2012. Merged into master on Dec 21, 2012, as commit 8366792eede3c8eb486ff15d8c8e62e9363f1959. See NewAxioms. 
     23 * `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.