... | ... | @@ -2,9 +2,55 @@ |
|
|
This page exists to track proposals that the [ Core Libraries Committee](https://wiki.haskell.org/Core_Libraries_Committee) is actively working on.
|
|
|
|
|
|
|
|
|
- [SemigroupMonoid](https://prime.haskell.org/wiki/Libraries/Proposals/SemigroupMonoid) has been accepted by the committee and is in the process of development.
|
|
|
# Active Proposals
|
|
|
|
|
|
|
|
|
As these proceed through the planning process, we will integrate them into the \[composite timeline\]([ https://ghc.haskell.org/trac/ghc/wiki/Status/BaseLibrary](https://ghc.haskell.org/trac/ghc/wiki/Status/BaseLibrary)).
|
|
|
- [Libraries/Proposals/SemigroupMonoid](libraries/proposals/semigroup-monoid) has been accepted by the committee and is in the process of development.
|
|
|
|
|
|
# Roadmap/Plans? for GHC's `base` library
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
This page aims to provide a concise summarized view of major planned changes for upcoming GHC releases related to the `base` library (including related GHC facilities such warnings).
|
|
|
|
|
|
|
|
|
## GHC 8.0 (`base-4.9`)
|
|
|
|
|
|
|
|
|
- Add `Data.Semigroup` and `Data.List.NonEmpty` modules
|
|
|
|
|
|
(\#10365, i.e. Phase1 of [Libraries/Proposals/SemigroupMonoid](libraries/proposals/semigroup-monoid))
|
|
|
- Add `-Wcompat` warnings about missing Semigroup instances.
|
|
|
- Add `Control.Monad.Fail` and a `MonadFail` language pragma. (Phase 1 of [ https://wiki.haskell.org/MonadFail_Proposal](https://wiki.haskell.org/MonadFail_Proposal))
|
|
|
- Add `-Wcompat` warnings about missing `MonadFail` instances.
|
|
|
- Add `expm1`, `log1p`, `log1pexp`, `log1mexp` to `Floating` (with defaults).
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
## GHC 8.2
|
|
|
|
|
|
|
|
|
- Nothing planned.
|
|
|
|
|
|
## GHC 8.4
|
|
|
|
|
|
|
|
|
- Turn the `Semigroup` and `MonadFail` warnings into warnings that are on by default.
|
|
|
- Warn about the pending removal of the default definitions for `log1p`, etc.
|
|
|
|
|
|
## GHC 8.6
|
|
|
|
|
|
|
|
|
- Turn on `MonadFail` by default.
|
|
|
- Move `Semigroup` into `Prelude`.
|
|
|
- Remove the default definitions of `log1p`, etc.
|
|
|
|
|
|
## GHC 8.8
|
|
|
|
|
|
|
|
|
- Nothing planned. |