... | ... | @@ -19,7 +19,7 @@ This list overviews the active branches in the main GHC repository. |
|
|
|
|
|
- `wip/ermsb`: **Extended rep-movsb (ERMSB) support for Intel processors**. Austin Seipp. Modern Intel processors feature extremely fast (yet simple!) string copy primitives, which are taken advantage of by simply using the existing `rep movsb` instruction. For many workloads, these copies are competetive with fast AVX-based copies (on my Haswell machine, the difference between the two was indistinguishable). This should result in superior copy performance for Ivy Bridge processors and later, which support the ERMSB addition. This also adds support for `-march` and `-mcpu` to the compiler.
|
|
|
|
|
|
- `wip/generics-propeq`: **Propositional equality for `GHC.Generics`**. Gabor Greif. For interworking of `hackage://gdiff` with `GHC.Generics` we need parametrized meta-data types. The idea is to replace `GHC.Generics.D1Bool` by `GHC.Generics.Dat "GHC.Types" "Bool"` and `GHC.Generics.C1_0Bool` (aka. `True`) by `GHC.Generics.Constr "GHC.Types" ("True", 1)`, and so on. This opens up them to type-level reasoning with `KnownSymbol`, `sameSymbol` etc.
|
|
|
- `wip/generics-propeq`: **Propositional equality for `GHC.Generics`**. Gabor Greif. For interworking of `hackage://gdiff` with `GHC.Generics` we need parametrized meta-data types. The idea is to replace `GHC.Generics.D1Bool` by `GHC.Generics.Dat "GHC.Types" "Bool"` and `GHC.Generics.C1_0Bool` (aka. `True`) by `GHC.Generics.Constr "GHC.Types" ("True", 1)`, and so on. This opens them up to type-level reasoning with `KnownSymbol`, `sameSymbol` etc.
|
|
|
|
|
|
# Limbo branches
|
|
|
|
... | ... | |