X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;ds=sidebyside;f=ghc%2Fcompiler%2Fiface%2FTcIface.lhs;h=1eb7982cce7fd10e9444e723df205fc2e6d4a2d6;hb=f714e6b642fd614a9971717045ae47c3d871275e;hp=39eadfb681b61453db59be4dc4970b66f2d2b797;hpb=9e90a28e134b8e5af3f6ec9b7300bc41324fea9c;p=ghc-hetmet.git

diff --git a/ghc/compiler/iface/TcIface.lhs b/ghc/compiler/iface/TcIface.lhs
index 39eadfb..1eb7982 100644
--- a/ghc/compiler/iface/TcIface.lhs
+++ b/ghc/compiler/iface/TcIface.lhs
@@ -6,7 +6,7 @@
 \begin{code}
 module TcIface ( 
 	tcImportDecl, typecheckIface,
-	tcIfaceKind, loadImportedInsts, loadImportedRules,
+	loadImportedInsts, loadImportedRules,
 	tcExtCoreBindings
  ) where
 #include "HsVersions.h"
@@ -612,13 +612,6 @@ tcIfaceRule (IfaceBuiltinRule fn_rdr core_rule)
 %************************************************************************
 
 \begin{code}
-tcIfaceKind :: IfaceKind -> Kind
-tcIfaceKind IfaceOpenTypeKind     = openTypeKind
-tcIfaceKind IfaceLiftedTypeKind   = liftedTypeKind
-tcIfaceKind IfaceUnliftedTypeKind = unliftedTypeKind
-tcIfaceKind (IfaceFunKind k1 k2)  = mkArrowKind (tcIfaceKind k1) (tcIfaceKind k2)
-
------------------------------------------
 tcIfaceType :: IfaceType -> IfL Type
 tcIfaceType (IfaceTyVar n)        = do { tv <- tcIfaceTyVar n; return (TyVarTy tv) }
 tcIfaceType (IfaceAppTy t1 t2)    = do { t1' <- tcIfaceType t1; t2' <- tcIfaceType t2; return (AppTy t1' t2') }
@@ -969,5 +962,5 @@ bindIfaceTyVars bndrs thing_inside
   where
     (occs,kinds) = unzip bndrs
 
-mk_iface_tyvar name kind = mkTyVar name (tcIfaceKind kind)
+mk_iface_tyvar name kind = mkTyVar name kind
 \end{code}