... | ... | @@ -5,8 +5,6 @@ This list overviews the active branches in the main GHC repository. |
|
|
|
|
|
- `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 [here](late-lam-lift).
|
|
|
|
|
|
- `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.
|
|
|
|
|
|
- `type-nats`: **Solver for Type-Level Naturals**. Iavor S. Diatchki. An experimental solver for discharging constraints involving natural numbers.
|
|
|
|
|
|
- `type-nats-simple`: Derived from `type-nats`, intended for eventually being merged into `master`, slated for 7.8.
|
... | ... | @@ -54,6 +52,8 @@ This is a list of inactive branches which have been merged into the tree. |
|
|
|
|
|
- `dicts-strict`: **Strict Dictionaries**. Nick Frisby. merged [c73d372bfebb5acee45e196d4e8694b656c7fd82](/trac/ghc/changeset/c73d372bfebb5acee45e196d4e8694b656c7fd82/ghc)
|
|
|
|
|
|
- `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](/trac/ghc/changeset/11a85cc7ea50d4b7c12ea2cc3c0ce39734dc4217/ghc) … I apologize for bad note-taking.
|
|
|
|
|
|
- `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`.
|
|
|
|
|
|
- `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](/trac/ghc/changeset/8366792eede3c8eb486ff15d8c8e62e9363f1959/ghc). See [NewAxioms](new-axioms).
|
... | ... | |