on master help sign in
Merge pull request #2038 from TorosFanny/patch-2

A RWST bug fixed.

commit76fd1ced0ca81a507894bb2022697e8f7c488df8 authorEdwin Brady <edwin.brady@gmail.com> dateSun 29 Mar 2015, 16:08 (12 years ago) parent32f91a67f91ff7
1 file changed+1−1
libs/base/Control/Monad/RWS.idr+1−1
libs/base/Control/Monad/RWS.idr+1−1
@@ -23,7 +23,7 @@ instance (Monoid w, Monad m) => Applicative (RWST r w s m) where
2323 pure a = MkRWST $ \_,s => return (a, s, neutral)
2424 (MkRWST f) <*> (MkRWST v) = MkRWST $ \r,s => do (a, s', w) <- v r s
2525 (fn, ss, w') <- f r s
26− return (fn a, ss, w <+> w)
26+ return (fn a, ss, w <+> w')
2727
2828instance (Monoid w, Monad m) => Monad (RWST r w s m) where
2929 (MkRWST m) >>= k = MkRWST $ \r,s => do (a, s', w) <- m r s