X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=ghc%2Fcompiler%2FsimplCore%2FSimplify.lhs;h=2340b23efca621ea7d422e12ae627807ccbaa6fb;hb=d3e697b8d842bd43329d470f2bc424a6dcb88d89;hp=b996b722c73350335397d444f708d2dc111a0708;hpb=23af01cd04e40c12f39763f676e9c0396ac8d86a;p=ghc-hetmet.git

diff --git a/ghc/compiler/simplCore/Simplify.lhs b/ghc/compiler/simplCore/Simplify.lhs
index b996b72..2340b23 100644
--- a/ghc/compiler/simplCore/Simplify.lhs
+++ b/ghc/compiler/simplCore/Simplify.lhs
@@ -38,7 +38,8 @@ import SimplMonad
 import SimplVar		( completeVar )
 import Unique		( Unique )
 import SimplUtils
-import Type		( mkTyVarTy, mkTyVarTys, mkAppTy, applyTy, mkFunTys, splitAlgTyConApp_maybe,
+import Type		( mkTyVarTy, mkTyVarTys, mkAppTy, applyTy, applyTys,
+			  mkFunTys, splitAlgTyConApp_maybe,
 			  splitFunTys, splitFunTy_maybe, isUnpointedType
 			)
 import TysPrim		( realWorldStatePrimTy )
@@ -507,7 +508,7 @@ simplRhsExpr env binder@(id,occ_info) rhs new_id
     mapSmpl cloneTyVarSmpl tyvars			`thenSmpl` \ tyvars' ->
     let
 	new_tys  = mkTyVarTys tyvars'
-	body_ty  = foldl applyTy rhs_ty new_tys
+	body_ty  = applyTys rhs_ty new_tys
 	lam_env  = extendTyEnvList rhs_env (zipEqual "simplRhsExpr" tyvars new_tys)
     in
 	-- Deal with the little lambda part