diff options
| author | Austin Seipp <aseipp@pobox.com> | 2013-09-08 09:02:04 -0500 |
|---|---|---|
| committer | Austin Seipp <aseipp@pobox.com> | 2013-09-08 09:30:10 -0500 |
| commit | 0b1bea4360d730ae4c91092bc94bc541631dbc84 (patch) | |
| tree | d87feed052483dccadd73a158ec386955be25707 /testsuite/tests/cpranal | |
| parent | 8859e1e3e4e6c695a4e9a1659fc0ec935141324a (diff) | |
| download | haskell-0b1bea4360d730ae4c91092bc94bc541631dbc84.tar.gz | |
Fix most AMP warnings.
Authored-by: David Luposchainsky <dluposchainsky@gmail.com>
Signed-off-by: Austin Seipp <aseipp@pobox.com>
Diffstat (limited to 'testsuite/tests/cpranal')
| -rw-r--r-- | testsuite/tests/cpranal/should_compile/Cpr001_imp.hs | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/testsuite/tests/cpranal/should_compile/Cpr001_imp.hs b/testsuite/tests/cpranal/should_compile/Cpr001_imp.hs index 5b2586127b..22352ead05 100644 --- a/testsuite/tests/cpranal/should_compile/Cpr001_imp.hs +++ b/testsuite/tests/cpranal/should_compile/Cpr001_imp.hs @@ -2,6 +2,9 @@ module Cpr001_imp where +import Control.Applicative (Applicative(..)) +import Control.Monad (liftM, ap) + data MS = MS { instr :: String , pc :: Int , mem :: String @@ -18,6 +21,13 @@ newtype StateTrans s a = ST ( s -> (s, Maybe a)) -- as it is and Nothing is returned as value -- else execution continues +instance Functor (StateTrans s) where + fmap = liftM + +instance Applicative (StateTrans s) where + pure = return + (<*>) = ap + instance Monad (StateTrans s) where (ST p) >>= k = ST (\s0 -> let |