diff options
Diffstat (limited to 'testsuite/tests/typecheck/should_compile/T3955.hs')
-rw-r--r-- | testsuite/tests/typecheck/should_compile/T3955.hs | 5 |
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) |