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:
05c7c6e
)
[project @ 2005-02-28 16:02:42 by simonpj]
author
simonpj
<unknown>
Mon, 28 Feb 2005 16:02:42 +0000
(16:02 +0000)
committer
simonpj
<unknown>
Mon, 28 Feb 2005 16:02:42 +0000
(16:02 +0000)
Comment only
ghc/compiler/typecheck/TcMType.lhs
patch
|
blob
|
history
diff --git
a/ghc/compiler/typecheck/TcMType.lhs
b/ghc/compiler/typecheck/TcMType.lhs
index
2a3dc75
..
f363026
100644
(file)
--- a/
ghc/compiler/typecheck/TcMType.lhs
+++ b/
ghc/compiler/typecheck/TcMType.lhs
@@
-310,8
+310,6
@@
data LookupTyVarResult -- The result of a lookupTcTyVar call
lookupTcTyVar :: TcTyVar -> TcM LookupTyVarResult
-- This function is the ONLY PLACE that we consult the
-- type refinement carried by the monad
---
--- The boolean returned with Indirect
lookupTcTyVar tyvar
= case tcTyVarDetails tyvar of
SkolemTv _ -> do { type_reft <- getTypeRefinement