X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=ghc%2Fcompiler%2Ftypes%2FTypeRep.lhs;h=f9643dc1a4b08bfeaf7c7d48df36aed400632af5;hb=9adbdb312507dcc7d5777e36376535918549103b;hp=98cca9593933bbe30231fdfc1907f7fdf5df3df3;hpb=6eca2acf184d4911123193757bdd38e53caa3467;p=ghc-hetmet.git

diff --git a/ghc/compiler/types/TypeRep.lhs b/ghc/compiler/types/TypeRep.lhs
index 98cca95..f9643dc 100644
--- a/ghc/compiler/types/TypeRep.lhs
+++ b/ghc/compiler/types/TypeRep.lhs
@@ -27,9 +27,7 @@ import Var	( TyVar, UVar )
 import VarEnv
 import VarSet
 
-import Name	( Name, Provenance(..), ExportFlag(..),
-		  mkWiredInTyConName, mkGlobalName, mkKindOccFS, tcName,
-		)
+import Name	( Name, mkGlobalName, mkKindOccFS, tcName )
 import OccName	( mkOccFS, tcName )
 import TyCon	( TyCon, KindCon,
 		  mkFunTyCon, mkKindCon, mkSuperKindCon,
@@ -37,9 +35,9 @@ import TyCon	( TyCon, KindCon,
 import Class	( Class )
 
 -- others
-import SrcLoc		( mkBuiltinSrcLoc )
-import PrelNames	( pREL_GHC, kindConKey, boxityConKey, boxedConKey, unboxedConKey, 
-			  typeConKey, anyBoxConKey, funTyConKey
+import SrcLoc		( builtinSrcLoc )
+import PrelNames	( pREL_GHC, kindConKey, boxityConKey, boxedConKey, 
+			  unboxedConKey, typeConKey, anyBoxConKey, funTyConName
 			)
 \end{code}
 
@@ -224,8 +222,7 @@ in two situations:
 
 
 \begin{code}
-mk_kind_name key str = mkGlobalName key pREL_GHC (mkKindOccFS tcName str)
-				    (LocalDef mkBuiltinSrcLoc NotExported)
+mk_kind_name key str = mkGlobalName key pREL_GHC (mkKindOccFS tcName str) builtinSrcLoc
 	-- mk_kind_name is a bit of a hack
 	-- The LocalDef means that we print the name without
 	-- a qualifier, which is what we want for these kinds.
@@ -298,7 +295,6 @@ mkArrowKinds arg_kinds result_kind = foldr mkArrowKind result_kind arg_kinds
 We define a few wired-in type constructors here to avoid module knots
 
 \begin{code}
-funTyConName = mkWiredInTyConName funTyConKey pREL_GHC (mkOccFS tcName SLIT("(->)")) funTyCon
 funTyCon = mkFunTyCon funTyConName (mkArrowKinds [boxedTypeKind, boxedTypeKind] boxedTypeKind)
 \end{code}