From 408b30036d764bc2cb72c726a76c706fae41fe7f Mon Sep 17 00:00:00 2001 From: simonpj Date: Mon, 28 Feb 2005 16:02:42 +0000 Subject: [PATCH] [project @ 2005-02-28 16:02:42 by simonpj] Comment only --- ghc/compiler/typecheck/TcMType.lhs | 2 -- 1 file changed, 2 deletions(-) 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 -- 1.7.10.4