Changes between Version 17 and Version 18 of ActiveBranches


Ignore:
Timestamp:
Sep 8, 2013 7:46:12 AM (7 months ago)
Author:
nfrisby
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • ActiveBranches

    v17 v18  
    22 
    33= Active branches = 
    4  
    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. 
    64 
    75 * `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]. 
     
    4543This is a list of inactive branches which have been merged into the tree. 
    4644 
    47  * `late-dmd`: '''Late Demand Analysis'''. Nick Frisby. See #7782. 
     45 * `late-dmd`: '''Late Demand Analysis'''. Nick Frisby. See #7782, LateDmd 
     46 
     47 * `dicts-strict`: '''Strict Dictionaries'''.  Nick Frisby. merged c73d372bfebb5acee45e196d4e8694b656c7fd82 
    4848 
    4949 * `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`.