diff options
| author | Simon Peyton Jones <simonpj@microsoft.com> | 2012-05-08 10:25:22 +0100 |
|---|---|---|
| committer | Simon Peyton Jones <simonpj@microsoft.com> | 2012-05-09 16:03:44 +0100 |
| commit | e08cad76e8a434aca42996f79fc8bb790f291570 (patch) | |
| tree | e3e0f7443ee210b479438d507c9484633fd69bba /compiler/simplCore/Simplify.lhs | |
| parent | 4bbd6baee066b906ed93a0659205ecbffdbd0954 (diff) | |
| download | haskell-e08cad76e8a434aca42996f79fc8bb790f291570.tar.gz | |
Wibbles to 'simplify the SimplCont data type'
Diffstat (limited to 'compiler/simplCore/Simplify.lhs')
| -rw-r--r-- | compiler/simplCore/Simplify.lhs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/compiler/simplCore/Simplify.lhs b/compiler/simplCore/Simplify.lhs index 3ff0ebb262..56e0bededd 100644 --- a/compiler/simplCore/Simplify.lhs +++ b/compiler/simplCore/Simplify.lhs @@ -339,13 +339,13 @@ simplLazyBind env top_lvl is_rec bndr bndr1 rhs rhs_se -- f = /\a. \x. g a x -- should eta-reduce - body_out_ty :: OutType - body_out_ty = substTy env (exprType body) ; (body_env, tvs') <- simplBinders rhs_env tvs -- See Note [Floating and type abstraction] in SimplUtils -- Simplify the RHS + ; let body_out_ty :: OutType + body_out_ty = substTy body_env (exprType body) ; (body_env1, body1) <- simplExprF body_env body (mkRhsStop body_out_ty) -- ANF-ise a constructor or PAP rhs ; (body_env2, body2) <- prepareRhs top_lvl body_env1 bndr1 body1 |