Re: Deprecating STM invariant mechanism

Previous Topic Next Topic
classic Classic list List threaded Threaded
1 message Options
Reply | Threaded
Open this post in threaded view

Re: Deprecating STM invariant mechanism

Edward Kmett-2
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 <[hidden email]> 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.


- Ben


ghc-devs mailing list
[hidden email]

Haskell-Cafe mailing list
To (un)subscribe, modify options or view archives go to:
Only members subscribed via the mailman list are allowed to post.