Re: [ghc-steering-committee] Proposal #77 "Deprecating STM invariant mechanism" — suggesting acceptance

Manuel M T Chakravarty writes:

Folks,

I’d like to reach consensus on Proposal #77 ”Deprecating STM invariant mechanism”:

https://github.com/bgamari/ghc-proposals/blob/deprecate-stm-invariants/propo...

(The discussion thread is at https://github.com/ghc-proposals/ghc-proposals/pull/77.)

This proposal is about removing a rarely used feature that is arguably buggy and also imposes significant complexity. I think, removing ideas that turn out to be not working properly or simply aren’t sufficiently useful for the complexity they impose is an important part of the process. The STM invariant mechanism appears to fit that bill. Hence, I suggest to accept this proposal.

As the author of the proposal, I second. Cheers, - Ben