X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=compiler%2Fiface%2FTcIface.lhs;h=6c60af873ec47f278574bcc517f399a0a6c4a2e3;hb=59264221c24a17e7c8ecde3e289882b9620bd5a8;hp=53a9a59ecc1972a4304f634d6ce1ec06f8606c75;hpb=49c98d143c382a1341e1046f5ca00819a25691ba;p=ghc-hetmet.git

diff --git a/compiler/iface/TcIface.lhs b/compiler/iface/TcIface.lhs
index 53a9a59..6c60af8 100644
--- a/compiler/iface/TcIface.lhs
+++ b/compiler/iface/TcIface.lhs
@@ -447,8 +447,8 @@ tcIfaceDataCons tycon_name tycon tc_tyvars if_cons
 			 ifConOcc = occ, ifConCtxt = ctxt, ifConEqSpec = spec,
 			 ifConArgTys = args, ifConFields = field_lbls,
 			 ifConStricts = stricts})
-      = bindIfaceTyVars univ_tvs $ \ univ_tyvars -> do
-	bindIfaceTyVars ex_tvs	 $ \ ex_tyvars -> do
+     = bindIfaceTyVars univ_tvs $ \ univ_tyvars -> do
+       bindIfaceTyVars ex_tvs	 $ \ ex_tyvars -> do
 	{ name  <- lookupIfaceTop occ
         ; eq_spec <- tcIfaceEqSpec spec
 	; theta <- tcIfaceCtxt ctxt	-- Laziness seems not worth the bother here
@@ -686,6 +686,8 @@ tcIfaceExpr (IfaceNote note expr)
 	IfaceInlineMe     -> returnM (Note InlineMe   expr')
 	IfaceSCC cc       -> returnM (Note (SCC cc)   expr')
 	IfaceCoreNote n   -> returnM (Note (CoreNote n) expr')
+        IfaceTickBox m n  -> returnM (Note (TickBox m n) expr')
+        IfaceBinaryTickBox m t e -> returnM (Note (BinaryTickBox m t e) expr')
 
 -------------------------
 tcIfaceAlt _ (IfaceDefault, names, rhs)
@@ -1010,8 +1012,11 @@ bindIfaceTyVars bndrs thing_inside
     (occs,kinds) = unzip bndrs
 
 mk_iface_tyvar :: Name -> IfaceKind -> IfL TyVar
-mk_iface_tyvar name ifKind = do { kind <- tcIfaceType ifKind
-                                ; return (Var.mkTyVar name kind)
-                                }
+mk_iface_tyvar name ifKind
+   = do { kind <- tcIfaceType ifKind
+	; if isCoercionKind kind then 
+		return (Var.mkCoVar name kind)
+	  else
+		return (Var.mkTyVar name kind) }
 \end{code}