X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=ghc%2Fcompiler%2Fstranal%2FWwLib.lhs;h=a7dd9e3eba4bfe83b926c2081f2b80ab5d7ca27e;hb=c49d51f812da9b1c2ceca7e0dad8f2a3626041a9;hp=0b9913ceef30c441295202ef7814ec31be52bfbb;hpb=7b0181919416d8f04324575b7e17031ca692f5b0;p=ghc-hetmet.git

diff --git a/ghc/compiler/stranal/WwLib.lhs b/ghc/compiler/stranal/WwLib.lhs
index 0b9913c..a7dd9e3 100644
--- a/ghc/compiler/stranal/WwLib.lhs
+++ b/ghc/compiler/stranal/WwLib.lhs
@@ -19,13 +19,13 @@ import Id		( idType, mkSysLocal, dataConArgTys )
 import IdInfo		( mkStrictnessInfo, nonAbsentArgs, Demand(..) )
 import PrelInfo		( aBSENT_ERROR_ID )
 import SrcLoc		( mkUnknownSrcLoc )
-import Type		( isPrimType, mkTyVarTys, mkFunTys, maybeAppDataTyCon )
+import Type		( isPrimType, mkTyVarTys, mkForAllTys, mkFunTys,
+			  maybeAppDataTyCon
+			)
 import UniqSupply	( returnUs, thenUs, thenMaybeUs,
 			  getUniques, UniqSM(..)
 			)
 import Util		( zipWithEqual, assertPanic, panic )
-
-quantifyTy = panic "WwLib.quantifyTy"
 \end{code}
 
 %************************************************************************
@@ -224,9 +224,8 @@ mkWwBodies body_ty tyvars args arg_infos
 			)
 
 	worker_ty_w_hole = \ body_ty ->
-				snd (quantifyTy tyvars (
+				mkForAllTys tyvars $
 				mkFunTys (map idType work_args) body_ty
-			   ))
     in
     returnUs (Just (wrapper_w_hole, worker_w_hole, wrkr_strictness, worker_ty_w_hole))
   where