[project @ 2002-10-01 16:29:47 by ross]

Removed the strict ST instance (already in Control.Monad.ST) and moved
the lazy ST instance to Control.Monad.ST.Lazy, so Control.Monad.Fix
contains only instances for Prelude types, and is portable.

1 files changed, 1 insertions, 13 deletions

diff --git a/libraries/base/Control/Monad/Fix.hs b/libraries/base/Control/Monad/Fix.hs
index c465511d5b..6c9ac7f251 100644
--- a/libraries/base/Control/Monad/Fix.hs
+++ b/libraries/base/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