<div dir="ltr">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! <div><div><br></div><div>+1</div><div><br></div><div>No objection here.</div><div><br></div><div>-Edward</div></div></div><div class="gmail_extra"><br><div class="gmail_quote">On Thu, Oct 5, 2017 at 7:02 PM, Ben Gamari <span dir="ltr"><<a href="mailto:ben@well-typed.com" target="_blank">ben@well-typed.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">tl;dr. Do you use Control.Monad.STM.always? If so say so on<br>
       this [1] proposal otherwise the interface may be removed.<br>
<br>
<br>
Hello everyone,<br>
<br>
GHC's STM subsystem has long had the ability to run user-specified<br>
invariant checks when committing transactions, embodied by the<br>
Control.Monad.STM.always and alwaysSucceeds functions.<br>
<br>
However, if Hackage is any indication this feature has seen very little<br>
use of the past ten years. In fact, it has very likely been quite broken<br>
(#14310) for this entire duration.<br>
<br>
Consequently, I suggest that we begin deprecating the mechanism. See<br>
the deprecation Proposal [1] for full details. Please leave a comment if<br>
you object.<br>
<br>
Cheers,<br>
<br>
- Ben<br>
<br>
<br>
[1] <a href="https://github.com/ghc-proposals/ghc-proposals/pull/77" rel="noreferrer" target="_blank">https://github.com/ghc-<wbr>proposals/ghc-proposals/pull/<wbr>77</a><br>
<br>______________________________<wbr>_________________<br>
ghc-devs mailing list<br>
<a href="mailto:ghc-devs@haskell.org">ghc-devs@haskell.org</a><br>
<a href="http://mail.haskell.org/cgi-bin/mailman/listinfo/ghc-devs" rel="noreferrer" target="_blank">http://mail.haskell.org/cgi-<wbr>bin/mailman/listinfo/ghc-devs</a><br>
<br></blockquote></div><br></div>