Repository : ssh://darcs.haskell.org//srv/darcs/ghc On branch : supercompiler
http://hackage.haskell.org/trac/ghc/changeset/f3a333a2ba1048f27a702b5b39e6c1f83acf6d3a >--------------------------------------------------------------- commit f3a333a2ba1048f27a702b5b39e6c1f83acf6d3a Author: Max Bolingbroke <batterseapo...@hotmail.com> Date: Wed Apr 18 23:04:01 2012 +0100 Remove MonadFix instance for MSG >--------------------------------------------------------------- compiler/supercompile/Supercompile/Drive/MSG.hs | 7 ------- 1 files changed, 0 insertions(+), 7 deletions(-) diff --git a/compiler/supercompile/Supercompile/Drive/MSG.hs b/compiler/supercompile/Supercompile/Drive/MSG.hs index 0458f6d..62946ec 100644 --- a/compiler/supercompile/Supercompile/Drive/MSG.hs +++ b/compiler/supercompile/Supercompile/Drive/MSG.hs @@ -24,8 +24,6 @@ import VarEnv import TypeRep (Kind, Type(..)) import Rules (mkSpecInfo, roughTopNames) -import Control.Monad.Fix - import qualified Data.Map as M import qualified Data.Set as S @@ -86,11 +84,6 @@ instance Monad MSG where unMSG (fxmy x) s fail msg = MSG $ \_ -> Left msg -instance MonadFix MSG where - mfix xmy = MSG $ \s -> let res = unMSG (xmy x) s - Right (_, x) = res - in res - msgFlexiVar :: Var -> Var -> MSG Var msgFlexiVar x_l x_r = MSG $ \s -> Right $ case M.lookup (x_l, x_r) (msgKnownFlexiPairs s) of Nothing -> if x == x_r _______________________________________________ Cvs-ghc mailing list Cvs-ghc@haskell.org http://www.haskell.org/mailman/listinfo/cvs-ghc
