[Haskell-cafe] Deprecating STM invariant mechanism
ekmett at gmail.com
Mon Oct 9 03:33:23 UTC 2017
I only have two uses of it at present and come to think of it I'm now
dubious about if they were doing anything, so I can pretty readily work
around its removal!
No objection here.
On Thu, Oct 5, 2017 at 7:02 PM, Ben Gamari <ben at well-typed.com> wrote:
> tl;dr. Do you use Control.Monad.STM.always? If so say so on
> this  proposal otherwise the interface may be removed.
> Hello everyone,
> GHC's STM subsystem has long had the ability to run user-specified
> invariant checks when committing transactions, embodied by the
> Control.Monad.STM.always and alwaysSucceeds functions.
> However, if Hackage is any indication this feature has seen very little
> use of the past ten years. In fact, it has very likely been quite broken
> (#14310) for this entire duration.
> Consequently, I suggest that we begin deprecating the mechanism. See
> the deprecation Proposal  for full details. Please leave a comment if
> you object.
> - Ben
>  https://github.com/ghc-proposals/ghc-proposals/pull/77
> ghc-devs mailing list
> ghc-devs at haskell.org
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the Haskell-Cafe