From d31b5e6247883fa19a5e4126d3b35b5ac557914a Mon Sep 17 00:00:00 2001 From: chak Date: Wed, 20 Nov 2002 23:27:37 +0000 Subject: [PATCH] [project @ 2002-11-20 23:27:37 by chak] wibble --- ghc/compiler/deSugar/DsMeta.hs | 9 +-------- 1 file changed, 1 insertion(+), 8 deletions(-) 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 -- 1.7.10.4