From: simonpj Date: Mon, 28 Feb 2005 16:02:42 +0000 (+0000) Subject: [project @ 2005-02-28 16:02:42 by simonpj] X-Git-Tag: Initial_conversion_from_CVS_complete~1011 X-Git-Url: http://git.megacz.com/?a=commitdiff_plain;h=408b30036d764bc2cb72c726a76c706fae41fe7f;p=ghc-hetmet.git [project @ 2005-02-28 16:02:42 by simonpj] Comment only --- diff --git a/ghc/compiler/typecheck/TcMType.lhs b/ghc/compiler/typecheck/TcMType.lhs index 2a3dc75..f363026 100644 --- 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