diff options
| author | simonpj@microsoft.com <unknown> | 2010-09-17 14:01:56 +0000 |
|---|---|---|
| committer | simonpj@microsoft.com <unknown> | 2010-09-17 14:01:56 +0000 |
| commit | b3e722e9ff0aeedceeeeacc67d61e11a5ee5b92a (patch) | |
| tree | d0a16a5f9ddd6e954a4c432027fbe53b5f46ec0c | |
| parent | 5db036090509ab6acfd327a8ecb51a4abeed105a (diff) | |
| download | haskell-b3e722e9ff0aeedceeeeacc67d61e11a5ee5b92a.tar.gz | |
Spaces only
| -rw-r--r-- | compiler/typecheck/TcSimplify.lhs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/compiler/typecheck/TcSimplify.lhs b/compiler/typecheck/TcSimplify.lhs index d7da17f67b..57e91251d2 100644 --- a/compiler/typecheck/TcSimplify.lhs +++ b/compiler/typecheck/TcSimplify.lhs @@ -676,7 +676,7 @@ floatEqualities :: TcTyVarSet -> [EvVar] -> CanonicalCts -> (CanonicalCts, CanonicalCts) floatEqualities skols can_given wanteds | hasEqualities can_given = (emptyBag, wanteds) - | otherwise = partitionBag is_floatable wanteds + | otherwise = partitionBag is_floatable wanteds where is_floatable :: CanonicalCt -> Bool is_floatable (CTyEqCan { cc_tyvar = tv, cc_rhs = ty }) |