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!

+1

No objection here.

-Edward

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/ghc-devs/attachments/20171008/f483cbe4/attachment.html>


More information about the ghc-devs mailing list