[Haskell-cafe] Deprecating STM invariant mechanism

Edward Kmett 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 [1] 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 [1] for full details. Please leave a comment if
> you object.
> Cheers,
> - Ben
> [1] https://github.com/ghc-proposals/ghc-proposals/pull/77
> _______________________________________________
> ghc-devs mailing list
> ghc-devs at haskell.org
> http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/haskell-cafe/attachments/20171008/f483cbe4/attachment.html>

More information about the Haskell-Cafe mailing list