[Haskell-cafe] Deprecating STM invariant mechanism
ben at well-typed.com
Thu Oct 5 23:02:25 UTC 2017
tl;dr. Do you use Control.Monad.STM.always? If so say so on
this  proposal otherwise the interface may be removed.
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
-------------- next part --------------
A non-text attachment was scrubbed...
Size: 487 bytes
Desc: not available
More information about the Haskell-Cafe