X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=ghc%2Fcompiler%2FsimplCore%2FSimplify.lhs;h=8bde1385247a7d22a46b85e39b03f2716a82a47c;hb=605ed32b4cd3972520f156d3f2924ba3c2af4505;hp=f4eef9f930460dc01cb93c0f3edba9072b8b6b6d;hpb=1a088058dd02d154373ce751f5a0748b409c3788;p=ghc-hetmet.git

diff --git a/ghc/compiler/simplCore/Simplify.lhs b/ghc/compiler/simplCore/Simplify.lhs
index f4eef9f..8bde138 100644
--- a/ghc/compiler/simplCore/Simplify.lhs
+++ b/ghc/compiler/simplCore/Simplify.lhs
@@ -500,7 +500,7 @@ simplRhsExpr env binder@(id,occ_info) rhs new_id
 
   | otherwise	-- OK, use the big hammer
   = 	-- Deal with the big lambda part
-    simplTyBinders env tyvars			`thenSmpl` \ (lam_env, tyvars') ->
+    simplTyBinders rhs_env tyvars			`thenSmpl` \ (lam_env, tyvars') ->
     let
 	body_ty  = applyTys rhs_ty (mkTyVarTys tyvars')
     in