X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=Control%2FMonad%2FFix.hs;fp=Control%2FMonad%2FFix.hs;h=6c9ac7f25166ed9f4377b40f442286ff1fbc2e39;hb=40c9fe1edc154b17c380408f10f5991663735dd2;hp=c465511d5be2c11053160b71f02169066c6a1194;hpb=7b34f4f43a0f0069bb3ff97f554ed593c5cd800c;p=ghc-base.git

diff --git a/Control/Monad/Fix.hs b/Control/Monad/Fix.hs
index c465511..6c9ac7f 100644
--- a/Control/Monad/Fix.hs
+++ b/Control/Monad/Fix.hs
@@ -17,8 +17,6 @@
 --	    Mark P Jones (<http://www.cse.ogi.edu/~mpj>)
 --		  Advanced School of Functional Programming, 1995.
 --
--- Oct. 1st, 2002: Added instances for Lazy ST, ST, and List monads
---           
 -----------------------------------------------------------------------------
 
 module Control.Monad.Fix (
@@ -29,8 +27,6 @@ module Control.Monad.Fix (
   ) where
 
 import Prelude
-import qualified Control.Monad.ST.Lazy as LazyST
-import qualified Control.Monad.ST as ST
 import System.IO
 
 fix :: (a -> a) -> a
@@ -39,7 +35,7 @@ fix f = let x = f x in x
 class (Monad m) => MonadFix m where
 	mfix :: (a -> m a) -> m a
 
--- Instances of MonadFix
+-- Instances of MonadFix for Prelude monads
 
 -- Maybe:
 instance MonadFix Maybe where
@@ -55,11 +51,3 @@ instance MonadFix [] where
 -- IO:
 instance MonadFix IO where
     mfix = fixIO 
-
--- Lazy State:
-instance MonadFix (LazyST.ST s) where
-    mfix = LazyST.fixST
-    
--- Strict State:
-instance MonadFix (ST.ST s) where
-    mfix = ST.fixST