diff options
author | Artem Pelenitsyn <a.pelenitsyn@gmail.com> | 2022-01-23 22:59:08 +0100 |
---|---|---|
committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2022-03-05 01:06:47 -0500 |
commit | 6f84ee332fd243e83004bdbc92a6970e96ab3189 (patch) | |
tree | a79a465d0116805da7e5b10c4d72534cd66705e9 /libraries/base/Control/Monad | |
parent | 3570eda512d157a38da391b6f1d57dfbab72dd09 (diff) | |
download | haskell-6f84ee332fd243e83004bdbc92a6970e96ab3189.tar.gz |
remove MonadFail instances of ST
CLC proposal: https://github.com/haskell/core-libraries-committee/issues/33
The instances had `fail` implemented in terms of `error`, whereas the
idea of the `MonadFail` class is that the `fail` method should be
implemented in terms of the monad itself.
Diffstat (limited to 'libraries/base/Control/Monad')
-rw-r--r-- | libraries/base/Control/Monad/ST/Lazy/Imp.hs | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/libraries/base/Control/Monad/ST/Lazy/Imp.hs b/libraries/base/Control/Monad/ST/Lazy/Imp.hs index 888839132e..e67daf9dd1 100644 --- a/libraries/base/Control/Monad/ST/Lazy/Imp.hs +++ b/libraries/base/Control/Monad/ST/Lazy/Imp.hs @@ -190,10 +190,6 @@ instance Monad (ST s) where in unST (k r) new_s --- | @since 4.10 -instance MonadFail (ST s) where - fail s = errorWithoutStackTrace s - -- | Return the value computed by an 'ST' computation. -- The @forall@ ensures that the internal state used by the 'ST' -- computation is inaccessible to the rest of the program. |