[project @ 2005-02-28 16:02:42 by simonpj]

[ghc-hetmet.git] / ghc / compiler / typecheck / TcMType.lhs

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