diff options
| author | Ben Gamari <bgamari.foss@gmail.com> | 2018-06-02 11:48:39 -0400 |
|---|---|---|
| committer | Ben Gamari <ben@smart-cactus.org> | 2018-06-02 19:04:52 -0400 |
| commit | a122d4fdd0a5858e44f9d3be90a258903e0288b2 (patch) | |
| tree | 731c1a7954d5347d2b6195527cfdf344a083d9bc /libraries/base/changelog.md | |
| parent | 9ea45963ad2ef2051ca3689562607eb4916d65e8 (diff) | |
| download | haskell-a122d4fdd0a5858e44f9d3be90a258903e0288b2.tar.gz | |
rts: Rip out support for STM invariants
This feature has some very serious correctness issues (#14310),
introduces a great deal of complexity, and hasn't seen wide usage.
Consequently we are removing it, as proposed in Proposal #77 [1]. This
is heavily based on a patch from fryguybob.
Updates stm submodule.
[1] https://github.com/ghc-proposals/ghc-proposals/pull/77
Test Plan: Validate
Reviewers: erikd, simonmar, hvr
Reviewed By: simonmar
Subscribers: rwbarton, thomie, carter
GHC Trac Issues: #14310
Differential Revision: https://phabricator.haskell.org/D4760
Diffstat (limited to 'libraries/base/changelog.md')
| -rw-r--r-- | libraries/base/changelog.md | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/libraries/base/changelog.md b/libraries/base/changelog.md index 7411aad56e..c588b21487 100644 --- a/libraries/base/changelog.md +++ b/libraries/base/changelog.md @@ -3,6 +3,17 @@ ## 4.12.0.0 *TBA* * Bundled with GHC *TBA* + * The STM invariant-checking mechanism (`always` and `alwaysSucceeds`), which + was deprecated in GHC 8.4, has been removed (as proposed in + <https://github.com/ghc-proposals/ghc-proposals/blob/master/proposals/0011-deprecate-stm-invariants.rst>). + This is a bit earlier than proposed in the deprecation pragma included in + GHC 8.4, but due to community feedback we decided to move ahead with the + early removal. + + Existing users are encouraged to encapsulate their STM operations in safe + abstractions which can perform the invariant checking without help from the + runtime system. + * Add a new module `GHC.ResponseFile` (previously defined in the `haddock` package). (#13896) |