diff options
| author | Dimitrios Vytiniotis <dimitris@microsoft.com> | 2011-11-16 16:12:48 +0000 |
|---|---|---|
| committer | Dimitrios Vytiniotis <dimitris@microsoft.com> | 2011-11-16 16:12:48 +0000 |
| commit | 0007c0ec9c0de68e3a348b8c4112ac48fd861b1e (patch) | |
| tree | 78ff33800fad55d7dbb4e1b1732d4f82c4e092a2 /compiler/simplCore/SimplUtils.lhs | |
| parent | 1bbb89f3ab009367fcca84b73b351ddcf5be16a4 (diff) | |
| download | haskell-0007c0ec9c0de68e3a348b8c4112ac48fd861b1e.tar.gz | |
GHC gets a new constraint solver. More efficient and smaller in size.
Diffstat (limited to 'compiler/simplCore/SimplUtils.lhs')
| -rw-r--r-- | compiler/simplCore/SimplUtils.lhs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/compiler/simplCore/SimplUtils.lhs b/compiler/simplCore/SimplUtils.lhs index 3c4091650c..86dc88ddd1 100644 --- a/compiler/simplCore/SimplUtils.lhs +++ b/compiler/simplCore/SimplUtils.lhs @@ -1062,7 +1062,7 @@ mkLam _env bndrs body | not (any bad bndrs) -- Note [Casts and lambdas] = do { lam <- mkLam' dflags bndrs body - ; return (mkCoerce (mkPiCos bndrs co) lam) } + ; return (mkCast lam (mkPiCos bndrs co)) } where co_vars = tyCoVarsOfCo co bad bndr = isCoVar bndr && bndr `elemVarSet` co_vars |