... | @@ -9,6 +9,8 @@ This list overviews the active branches in the main GHC repository. |
... | @@ -9,6 +9,8 @@ This list overviews the active branches in the main GHC repository. |
|
|
|
|
|
- `type-nats`: **Solver for Type-Level Naturals**. Iavor S. Diatchki. An experimental solver for discharging constraints involving natural numbers.
|
|
- `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`.
|
|
|
|
|
|
- `atomics`: **Atomic memory operations**. Ryan Newton. This expands on some work Simon Marlow started in 7.2.
|
|
- `atomics`: **Atomic memory operations**. Ryan Newton. This expands on some work Simon Marlow started in 7.2.
|
|
|
|
|
|
- `simd`: **SIMD support**. Geoffrey Mainland. This extends the simple SIMD support in GHC HEAD, and is slated for 7.8.
|
|
- `simd`: **SIMD support**. Geoffrey Mainland. This extends the simple SIMD support in GHC HEAD, and is slated for 7.8.
|
... | @@ -19,6 +21,8 @@ This list overviews the active branches in the main GHC repository. |
... | @@ -19,6 +21,8 @@ This list overviews the active branches in the main GHC repository. |
|
|
|
|
|
- `ghc-parmake-gsoc`: **Parallel --make**. Patrick Palka, GSoC 2013. This extends `ghc --make` to be able to compile multiple modules in parallel.
|
|
- `ghc-parmake-gsoc`: **Parallel --make**. Patrick Palka, GSoC 2013. This extends `ghc --make` to be able to compile multiple modules in parallel.
|
|
|
|
|
|
|
|
- `data-kind-syntax`: Syntax for *kind-only* definitions (i.e. without the type definition when resorting to promotion). Ready for review and merge.
|
|
|
|
|
|
# Limbo branches
|
|
# Limbo branches
|
|
|
|
|
|
|
|
|
... | | ... | |