From: sof <unknown>
Date: Sat, 5 Jul 1997 02:01:54 +0000 (+0000)
Subject: [project @ 1997-07-05 02:01:54 by sof]
X-Git-Tag: Approximately_1000_patches_recorded~273
X-Git-Url: http://git.megacz.com/?a=commitdiff_plain;h=c938562a86a32ff87c50848f21babb95a2a3722d;p=ghc-hetmet.git

[project @ 1997-07-05 02:01:54 by sof]
new function: nameTyVar
---

diff --git a/ghc/compiler/types/TyVar.lhs b/ghc/compiler/types/TyVar.lhs
index 8db508b..7c4373b 100644
--- a/ghc/compiler/types/TyVar.lhs
+++ b/ghc/compiler/types/TyVar.lhs
@@ -5,7 +5,7 @@ module TyVar (
 	GenTyVar(..), SYN_IE(TyVar),
 	mkTyVar, mkSysTyVar,
 	tyVarKind,		-- TyVar -> Kind
-	cloneTyVar,
+	cloneTyVar, nameTyVar,
 
 	openAlphaTyVar,
 	alphaTyVars, alphaTyVar, betaTyVar, gammaTyVar, deltaTyVar,
@@ -34,11 +34,11 @@ import UniqSet		-- nearly all of it
 import UniqFM		( emptyUFM, listToUFM, addToUFM, lookupUFM,
 			  plusUFM, sizeUFM, delFromUFM, UniqFM
 			)
-import Name		( mkSysLocalName, changeUnique, Name, NamedThing(..) )
+import Name		( mkSysLocalName, mkLocalName, Name, NamedThing(..), OccName )
 import Pretty		( Doc, (<>), ptext )
 import Outputable	( PprStyle(..), Outputable(..) )
 import SrcLoc		( noSrcLoc, SrcLoc )
-import Unique		( showUnique, mkAlphaTyVarUnique, Unique, Uniquable(..) )
+import Unique		( mkAlphaTyVarUnique, Unique, Uniquable(..) )
 import Util		( panic, Ord3(..) )
 \end{code}
 
@@ -75,6 +75,11 @@ tyVarKind (TyVar _ kind _ _) = kind
 
 cloneTyVar :: GenTyVar flexi -> Unique -> GenTyVar flexi
 cloneTyVar (TyVar _ k n x) u = TyVar u k n x
+	-- Dodgy: doesn't (yet) change the unique in the Name)
+
+nameTyVar :: GenTyVar flexi -> OccName -> GenTyVar flexi
+	-- Give the TyVar a print-name
+nameTyVar (TyVar u k n x) occ = TyVar u k (Just (mkLocalName u occ noSrcLoc)) x
 \end{code}