From: chak <unknown>
Date: Wed, 20 Nov 2002 23:27:37 +0000 (+0000)
Subject: [project @ 2002-11-20 23:27:37 by chak]
X-Git-Tag: Approx_11550_changesets_converted~1418
X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=commitdiff_plain;h=d31b5e6247883fa19a5e4126d3b35b5ac557914a

[project @ 2002-11-20 23:27:37 by chak]
wibble
---

diff --git a/ghc/compiler/deSugar/DsMeta.hs b/ghc/compiler/deSugar/DsMeta.hs
index f74202e..b5cd548 100644
--- a/ghc/compiler/deSugar/DsMeta.hs
+++ b/ghc/compiler/deSugar/DsMeta.hs
@@ -303,16 +303,9 @@ rep_proto nm ty = do { nm1 <- lookupBinder nm ;
 -- 			Types
 -------------------------------------------------------
 
--- represent a list of type variables in a usage position that does not need
--- gensym'ing
---
-repTvs :: [HsTyVarBndr Name] -> DsM (Core [String])
-repTvs tvs = do { tvs1 <- mapM (localVar . hsTyVarName) tvs ;
-		  return (coreList' stringTy tvs1) } 
-
 -- gensym a list of type variables and enter them into the meta environment;
 -- the computations passed as the second argument is executed in that extended
--- meta environment and gets the *original* names as an argument
+-- meta environment and gets the *new* names on Core-level as an argument
 --
 addTyVarBinds :: [HsTyVarBndr Name]	         -- the binders to be added
 	      -> ([Core String] -> DsM (Core (M.Q a))) -- action in the ext env