X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=compiler%2FbasicTypes%2FMkId.lhs;h=7d95266da4b186ad583f9fc138cc00fc3ee4e975;hb=ab5b8aa357c685a7c702262903bce04c66f79156;hp=8e04b55e8fd715e04c75a51474b23ba4539a8749;hpb=8100cd4395e46ae747be4298c181a4730d6206bc;p=ghc-hetmet.git

diff --git a/compiler/basicTypes/MkId.lhs b/compiler/basicTypes/MkId.lhs
index 8e04b55..7d95266 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,
@@ -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}
 
 
@@ -1070,8 +1050,7 @@ unsafeCoerceId
 		      (mkFunTy openAlphaTy openBetaTy)
     [x] = mkTemplateLocals [openAlphaTy]
     rhs = mkLams [openAlphaTyVar,openBetaTyVar,x] $
---       Note (Coerce openBetaTy openAlphaTy) (Var x)
-         Cast (Var x) (mkUnsafeCoercion openAlphaTy openBetaTy)
+          Cast (Var x) (mkUnsafeCoercion openAlphaTy openBetaTy)
 
 -- nullAddr# :: Addr#
 -- The reason is is here is because we don't provide