diff options
| author | Ben Gamari <ben@smart-cactus.org> | 2019-02-27 21:45:29 -0500 |
|---|---|---|
| committer | Ben Gamari <ben@smart-cactus.org> | 2019-03-01 22:51:16 -0500 |
| commit | 102c24d5d4423a3538f122f1b16999a07c70e309 (patch) | |
| tree | 3327b7d06ce040d1adb9a6d30b168121269c3ee4 | |
| parent | 9d1e6cfb82c5be1477aa8780238781329bd5b7e5 (diff) | |
| download | haskell-102c24d5d4423a3538f122f1b16999a07c70e309.tar.gz | |
testsuite: Remove Monad(fail) references
| -rw-r--r-- | testsuite/tests/rebindable/DoRestrictedM.hs | 1 | ||||
| -rw-r--r-- | testsuite/tests/rebindable/T5908.hs | 5 |
2 files changed, 0 insertions, 6 deletions
diff --git a/testsuite/tests/rebindable/DoRestrictedM.hs b/testsuite/tests/rebindable/DoRestrictedM.hs index 2e982c1532..4f7885783e 100644 --- a/testsuite/tests/rebindable/DoRestrictedM.hs +++ b/testsuite/tests/rebindable/DoRestrictedM.hs @@ -32,7 +32,6 @@ newtype RegularM m a = RegularM{unRM :: m a} instance Prelude.Monad m => MN2 (RegularM m) a where return = RegularM . Prelude.return - fail = RegularM . Prelude.fail instance Prelude.Monad m => MN3 (RegularM m) a b where m >>= f = RegularM ((Prelude.>>=) (unRM m) (unRM . f)) diff --git a/testsuite/tests/rebindable/T5908.hs b/testsuite/tests/rebindable/T5908.hs index 2666c3371a..ff5da8949a 100644 --- a/testsuite/tests/rebindable/T5908.hs +++ b/testsuite/tests/rebindable/T5908.hs @@ -25,11 +25,9 @@ class Monad m where (>>=) :: forall e ex x a b . m e ex a -> (a -> m ex x b) -> m e x b (>>) :: forall e ex x a b . m e ex a -> m ex x b -> m e x b return :: a -> m ex ex a - fail :: String -> m e x a {-# INLINE (>>) #-} m >> k = m >>= \ _ -> k - fail = error type Writer w = WriterT w Identity @@ -60,9 +58,6 @@ instance (Category w, Prelude.Monad m) => Monad (WriterT w m) where where (>>=) = (Prelude.>>=) return = Prelude.return - fail msg = WriterT $ fail msg - where - fail = Prelude.fail tell :: (Category w, Prelude.Monad m) => w e x -> WriterT w m e x () tell w = WriterT $ return ((), w) |