Changes between Version 23 and Version 24 of ActiveBranches


Ignore:
Timestamp:
Sep 10, 2013 8:55:58 PM (10 months ago)
Author:
nfrisby
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • ActiveBranches

    v23 v24  
    44 
    55 * `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]. 
    6  
    7  * `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. 
    86 
    97 * `type-nats`: '''Solver for Type-Level Naturals'''. Iavor S. Diatchki.  An experimental solver for discharging constraints involving natural numbers. 
     
    5149 * `dicts-strict`: '''Strict Dictionaries'''.  Nick Frisby. merged c73d372bfebb5acee45e196d4e8694b656c7fd82 
    5250 
     51 * `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.~~ … uh oh: looks like I merged this as 11a85cc7ea50d4b7c12ea2cc3c0ce39734dc4217 … I apologize for bad note-taking. 
     52 
    5353 * `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`. 
    5454