testsuite: fix T1735_Help/State.hs build failure (AMP)

Signed-off-by: Sergei Trofimovich <slyfox@gentoo.org>

1 files changed, 10 insertions, 0 deletions

diff --git a/testsuite/tests/typecheck/should_run/T1735_Help/State.hs b/testsuite/tests/typecheck/should_run/T1735_Help/State.hs
index 7b048eb2df..d696af738f 100644
--- a/testsuite/tests/typecheck/should_run/T1735_Help/State.hs
+++ b/testsuite/tests/typecheck/should_run/T1735_Help/State.hs
@@ -1,6 +1,9 @@
 

 module T1735_Help.State where

 

+import Control.Monad (ap, liftM)

+

+

 newtype StateT s m a = StateT { runStateT :: s -> m (a,s) }

 

 instance Monad m => Monad (StateT s m) where

@@ -10,6 +13,13 @@ instance Monad m => Monad (StateT s m) where
         runStateT (k a) s'

     fail str = StateT $ \_ -> fail str

 

+instance Monad m => Functor (StateT s m) where

+    fmap = liftM

+

+instance Monad m => Applicative (StateT s m) where

+    pure  = return

+    (<*>) = ap

+

 get :: Monad m => StateT s m s

 get = StateT $ \s -> return (s, s)