... | ... | @@ -18,7 +18,7 @@ When we shipped GHC 7.10, we incorporated some major new features - but not with |
|
|
|
|
|
- **Partial type signatures**[\[PartialTypeSignatures](partial-type-signatures)\]. Thomas Winant and Dominique Devriese implemented partial type signatures for GHC. A partial type signature is a type signature that can contain *wildcards*, written as underscores. These wildcards can be types unknown to the programmer or types he doesn't care to annotate. The type checker will use the annotated parts of the partial type signature to type check the program, and infer the types for the wildcards. A wildcard can also occur at the end of the constraints part of a type signature, which indicates that an arbitrary number of extra constraints may be inferred. Whereas `-XTypedHoles` allow holes in your terms, `-XPartialTypeSignatures` allow holes in your types!
|
|
|
|
|
|
- **Preliminary backpack support** - Edward Yang has been working tirelessly on support for Backpack features in GHC. GHC 7.10 shipped with some preliminary code to support it, including signature file support and some Cabal support, but we have a new plan for GHC 7.12, with new syntax and a new implementation strategy. \[Backpack\]
|
|
|
- **Preliminary backpack support** - Edward Yang has been working tirelessly on support for Backpack features in GHC. GHC 7.10 shipped with some preliminary code to support it, including signature file support and some Cabal support, but we have a new plan for GHC 7.12, with new syntax and a new implementation strategy. You can find out more by checking out the algorithm specification [ https://github.com/ghc/ghc/blob/master/docs/backpack/algorithm.pdf](https://github.com/ghc/ghc/blob/master/docs/backpack/algorithm.pdf) . Work is currently proceeding on the ghc-backpack branch [ https://github.com/ezyang/ghc/tree/ghc-backpack](https://github.com/ezyang/ghc/tree/ghc-backpack) \[Backpack\]
|
|
|
|
|
|
- **Reimplemented GMP-based `Integer` backend ([\#9281](https://gitlab.haskell.org//ghc/ghc/issues/9281))** - Herbert Valerio Riedel completely reimplemented the `integer-gmp` backend, and is now shipping it on all Tier 1 platforms. This should make interoperation with GMP (and C libraries that depend on GMP) radically simpler, while being easier to maintain.
|
|
|
|
... | ... | |