X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=Control%2FMonad.hs;h=479a78c47b8ca8349cef4ac6fde487eebdb62db5;hb=bef3a45aabcb4e9e88567e69d04e2fcc777dd6cf;hp=b7785ddaab892fce4ba6a956fbf268c0f4e44de2;hpb=dae853e21f2a1ac47cee4b63b6cc305129320edb;p=ghc-base.git

diff --git a/Control/Monad.hs b/Control/Monad.hs
index b7785dd..479a78c 100644
--- a/Control/Monad.hs
+++ b/Control/Monad.hs
@@ -39,7 +39,7 @@ module Control.Monad
     , (=<<)         -- :: (Monad m) => (a -> m b) -> m a -> m b
     , (>=>)         -- :: (Monad m) => (a -> m b) -> (b -> m c) -> (a -> m c)
     , (<=<)         -- :: (Monad m) => (b -> m c) -> (a -> m b) -> (a -> m c)
-    , forever       -- :: (Monad m) => m a -> m ()
+    , forever       -- :: (Monad m) => m a -> m b
 
     -- ** Generalisations of list functions
 
@@ -187,7 +187,7 @@ f >=> g     = \x -> f x >>= g
 (<=<)       = flip (>=>)
 
 -- | @'forever' act@ repeats the action infinitely.
-forever     :: (Monad m) => m a -> m ()
+forever     :: (Monad m) => m a -> m b
 forever a   = a >> forever a
 
 -- -----------------------------------------------------------------------------