X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=compiler%2Ftypes%2FFunDeps.lhs;h=511472c66c7b5f823e9012f9898402e00c8ac4d4;hb=4b2dd6b968640830631b4071b962c47c541f9722;hp=0bea32fe57b124df03882711e3d6a6e45471b410;hpb=d2ce0f52d42edf32bb9f13796e6ba6edba8bd516;p=ghc-hetmet.git

diff --git a/compiler/types/FunDeps.lhs b/compiler/types/FunDeps.lhs
index 0bea32f..511472c 100644
--- a/compiler/types/FunDeps.lhs
+++ b/compiler/types/FunDeps.lhs
@@ -207,9 +207,10 @@ improveFromInstEnv :: (Class -> [Instance])
 improveFromInstEnv _inst_env pred 
   = improveOne _inst_env pred []        -- TODO: Refactor to directly use instance_eqnd? 
 
-improveFromAnother :: Pred_Loc 
+
+improveFromAnother :: Pred_Loc
                    -> Pred_Loc
-                   -> [(Equation,Pred_Loc,Pred_Loc)] 
+                   -> [(Equation, Pred_Loc, Pred_Loc)]
 -- Improvement from another local (given or wanted) constraint
 improveFromAnother pred1 pred2 
   = improveOne (\_ -> []) pred1 [pred2] -- TODO: Refactor to directly use pairwise_eqns?