X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;ds=sidebyside;f=compiler%2FbasicTypes%2FMkId.lhs;h=741ca5886d1d23cc695488b65ad7dd0516b600ed;hb=84923cc7de2a93c22a2f72daf9ac863959efae13;hp=a6404455e84b4f06bbdae0aa8bc3f1f202097e24;hpb=fcd0198ba7ad41ba2be19faf258663e6371f627e;p=ghc-hetmet.git

diff --git a/compiler/basicTypes/MkId.lhs b/compiler/basicTypes/MkId.lhs
index a640445..741ca58 100644
--- a/compiler/basicTypes/MkId.lhs
+++ b/compiler/basicTypes/MkId.lhs
@@ -18,7 +18,7 @@ module MkId (
 
 	mkDataConIds,
 	mkRecordSelId, 
-	mkPrimOpId, mkFCallId, mkTickBoxOpId, mkBinaryTickBoxOpId,
+	mkPrimOpId, mkFCallId, mkTickBoxOpId, 
 
 	mkReboxingAlt, wrapNewTypeBody, unwrapNewTypeBody,
         mkUnpackCase, mkProductBox,
@@ -218,7 +218,7 @@ mkDataConIds wrap_name wkr_name data_con
 		     -- arguments to the universals of the data constructor
 		     -- (crucial when type checking interfaces)
     dict_tys       = mkPredTys theta
-    result_ty_args = map (substTyVar subst) univ_tvs
+    result_ty_args = substTyVars subst univ_tvs
     result_ty      = case tyConFamInst_maybe tycon of
 		         -- ordinary constructor
 		       Nothing            -> mkTyConApp tycon result_ty_args
@@ -916,26 +916,6 @@ mkTickBoxOpId uniq mod ix =  mkGlobalId (TickBoxOpId tickbox) name ty info
     name    = mkTickBoxOpName uniq occ_str
     info    = noCafIdInfo
     ty      = realWorldStatePrimTy 
-
-mkBinaryTickBoxOpId 
-              :: Unique 
-	      -> Module
-	      -> TickBoxId
-	      -> TickBoxId
-	      -> Id
-mkBinaryTickBoxOpId uniq mod ixT ixF =  mkGlobalId (TickBoxOpId tickbox) name ty info    
-  where
-    tickbox  = BinaryTickBox mod ixT ixF
-    occ_str = showSDoc (braces (ppr tickbox))
-    name    = mkTickBoxOpName uniq occ_str
-    info    = noCafIdInfo
-	        `setArityInfo` 		arity
-	        `setAllStrictnessInfo`	Just strict_sig
-    ty      = mkFunTy boolTy boolTy
-
-    arity	 = 1
-    strict_sig   = mkStrictSig (mkTopDmdType (replicate arity evalDmd) TopRes)
-		   --- ?? mkStrictSig (mkTopDmdType [seqDmd] TopRes)
 \end{code}