X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=compiler%2Ftypes%2FFunDeps.lhs;h=a7e9f19b064d9ea6931460dae45a0d7d50e67f43;hb=e34157d4abd4b82d9b5c32035946edcd22c235b6;hp=a2bb3dfaf0f936d0dd17025699d0ca4f23e844ba;hpb=ad94d40948668032189ad22a0ad741ac1f645f50;p=ghc-hetmet.git diff --git a/compiler/types/FunDeps.lhs b/compiler/types/FunDeps.lhs index a2bb3df..a7e9f19 100644 --- a/compiler/types/FunDeps.lhs +++ b/compiler/types/FunDeps.lhs @@ -12,7 +12,7 @@ It's better to read it as: "if we know these, then we're going to know these" -- The above warning supression flag is a temporary kludge. -- While working on this module you are encouraged to remove it and fix -- any warnings in the module. See --- http://hackage.haskell.org/trac/ghc/wiki/CodingStyle#Warnings +-- http://hackage.haskell.org/trac/ghc/wiki/Commentary/CodingStyle#Warnings -- for details module FunDeps ( @@ -153,7 +153,7 @@ See also Note [Ambiguity] in TcSimplify \begin{code} grow :: [PredType] -> TyVarSet -> TyVarSet grow preds fixed_tvs - | null preds = real_fixed_tvs + | null preds = fixed_tvs | otherwise = loop real_fixed_tvs where -- Add the implicit parameters;