[commit: ghc] wip/new-flatten-skolems-Oct14: Wibble to TcSimplify (d10e03d)

[git at git.haskell.org]

Repository : ssh://git@git.haskell.org/ghc

On branch  : wip/new-flatten-skolems-Oct14
Link       : http://ghc.haskell.org/trac/ghc/changeset/d10e03dd81542a44f41841715353c71787ee0b24/ghc

>---------------------------------------------------------------

commit d10e03dd81542a44f41841715353c71787ee0b24
Author: Simon Peyton Jones <simonpj at microsoft.com>
Date:   Thu Oct 30 12:10:40 2014 +0000

    Wibble to TcSimplify


>---------------------------------------------------------------

d10e03dd81542a44f41841715353c71787ee0b24
 compiler/typecheck/TcSimplify.lhs | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/compiler/typecheck/TcSimplify.lhs b/compiler/typecheck/TcSimplify.lhs
index 52cdf6d..e68129f 100644
--- a/compiler/typecheck/TcSimplify.lhs
+++ b/compiler/typecheck/TcSimplify.lhs
@@ -1252,7 +1252,8 @@ floatEqualities skols no_given_eqs wanteds@(WC { wc_flat = flats })
     (float_eqs, remaining_flats) = partitionBag float_me flats
     float_me :: Ct -> Bool
     float_me ct
-       | EqPred ty1 ty2 <- classifyPredType (ctPred ct)
+       | let pred = ctPred ct
+       , EqPred ty1 ty2 <- classifyPredType pred
        , tyVarsOfType pred `disjointVarSet` skol_set
        , useful_to_float ty1 ty2
        = True