Changes between Version 17 and Version 18 of ActiveBranches


Ignore:
Timestamp:
Sep 8, 2013 7:46:12 AM (2 years 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`.