projects
/
ghc-hetmet.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (parent:
f2e26fc
)
[project @ 2002-11-20 23:27:37 by chak]
author
chak
<unknown>
Wed, 20 Nov 2002 23:27:37 +0000
(23:27 +0000)
committer
chak
<unknown>
Wed, 20 Nov 2002 23:27:37 +0000
(23:27 +0000)
wibble
ghc/compiler/deSugar/DsMeta.hs
patch
|
blob
|
history
diff --git
a/ghc/compiler/deSugar/DsMeta.hs
b/ghc/compiler/deSugar/DsMeta.hs
index
f74202e
..
b5cd548
100644
(file)
--- 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
-------------------------------------------------------
-- 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
-- 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
--
addTyVarBinds :: [HsTyVarBndr Name] -- the binders to be added
-> ([Core String] -> DsM (Core (M.Q a))) -- action in the ext env