X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=blobdiff_plain;f=compiler%2Fiface%2FTcIface.lhs;h=21d2fb3121132a8537863c75d4573c2c487345e0;hp=53a9a59ecc1972a4304f634d6ce1ec06f8606c75;hb=ac704fcac946590eef0ec91ae19f3b47d779a75f;hpb=28d732c362e13e58d653b3dc15fd376c3f0c54c2

diff --git a/compiler/iface/TcIface.lhs b/compiler/iface/TcIface.lhs
index 53a9a59..21d2fb3 100644
--- a/compiler/iface/TcIface.lhs
+++ b/compiler/iface/TcIface.lhs
@@ -1010,8 +1010,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}