Super-monster patch implementing the new typechecker -- at last

[ghc-hetmet.git] / compiler / simplCore / FloatOut.lhs

diff --git a/compiler/simplCore/FloatOut.lhs b/compiler/simplCore/FloatOut.lhs
index 579565f..fba88e7 100644 (file)
--- a/compiler/simplCore/FloatOut.lhs
+++ b/compiler/simplCore/FloatOut.lhs
@@ -242,7 +242,7 @@ floatExpr _ lam@(Lam _ _)
        -- going to escape a value lambda.
        -- In particular, for one-shot lambdas we don't float things
        -- out; we get no saving by so doing.
-       partition_fn | all isTyVar bndrs = partitionByLevel
+       partition_fn | all isTyCoVar bndrs = partitionByLevel
                     | otherwise         = partitionByMajorLevel
     in
     case (floatExpr (last lvls) body) of { (fs, floats, body') ->