summaryrefslogtreecommitdiff
path: root/testsuite/tests/typecheck/should_compile/T3955.hs
diff options
context:
space:
mode:
Diffstat (limited to 'testsuite/tests/typecheck/should_compile/T3955.hs')
-rw-r--r--testsuite/tests/typecheck/should_compile/T3955.hs5
1 files changed, 2 insertions, 3 deletions
diff --git a/testsuite/tests/typecheck/should_compile/T3955.hs b/testsuite/tests/typecheck/should_compile/T3955.hs
index dc594c1b7b..3f37fb6e1a 100644
--- a/testsuite/tests/typecheck/should_compile/T3955.hs
+++ b/testsuite/tests/typecheck/should_compile/T3955.hs
@@ -8,19 +8,18 @@ module T3955 where
import Control.Applicative (Applicative(..))
import Control.Monad (liftM, ap)
-class (Monad m) => MonadReader r m
+class (Monad m) => MonadReader r m
newtype Reader r a = Reader { runReader :: r -> a }
instance Functor (Reader r) where
fmap = liftM
instance Applicative (Reader r) where
- pure = return
+ pure = error "urk"
(<*>) = ap
instance Monad (Reader r) where
(>>=) = error "urk"
- return = error "urk"
instance MonadReader r (Reader r)