X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=blobdiff_plain;f=compiler%2Ftypecheck%2FTcEnv.lhs;h=ad45c7ca4cafd399d43d71c7a121f9102dd65fb0;hp=ac55f4b16df5e1c5b6a1062e3bbc4ef87c5cb512;hb=288213d7c2c65fa68ca466c1a1a3378e24fa1151;hpb=bef3803d8e6f5c4396aa3c43b0776b9794b1343f

diff --git a/compiler/typecheck/TcEnv.lhs b/compiler/typecheck/TcEnv.lhs
index ac55f4b..ad45c7c 100644
--- a/compiler/typecheck/TcEnv.lhs
+++ b/compiler/typecheck/TcEnv.lhs
@@ -35,7 +35,6 @@ module TcEnv(
 	tcLookupId, tcLookupTyVar, getScopedTyVarBinds,
 	lclEnvElts, getInLocalScope, findGlobals, 
 	wrongThingErr, pprBinders,
-	refineEnvironment,
 
 	tcExtendRecEnv,    	-- For knot-tying
 
@@ -61,7 +60,6 @@ import IfaceEnv
 import TcRnMonad
 import TcMType
 import TcType
-import TcGadt
 -- import TcSuspension
 import qualified Type
 import Var
@@ -452,38 +450,6 @@ find_thing ignore_it tidy_env (ATyVar tv ty) = do
 find_thing _ _ thing = pprPanic "find_thing" (ppr thing)
 \end{code}
 
-\begin{code}
-refineEnvironment 
-	:: Refinement 
-	-> Bool			-- whether type equations are involved
-	-> TcM a 
-	-> TcM a
--- I don't think I have to refine the set of global type variables in scope
--- Reason: the refinement never increases that set
-refineEnvironment reft otherEquations thing_inside
-  | isEmptyRefinement reft 	-- Common case
-  , not otherEquations
-  = thing_inside
-  | otherwise
-  = do	{ env <- getLclEnv
-	; let le' = mapNameEnv refine (tcl_env env)
- 	; setLclEnv (env {tcl_env = le'}) thing_inside }
-  where
-    refine elt@(ATcId { tct_co = Rigid co, tct_type = ty })
-	| Just (co', ty') <- refineType reft ty
-	= elt { tct_co = Rigid (WpCo co' <.> co), tct_type = ty' }
-    refine elt@(ATcId { tct_co = Wobbly})
--- Main new idea: make wobbly things invisible whenever there 
---		  is a refinement of any sort
---	| otherEquations
-	= elt { tct_co = WobblyInvisible}
-    refine (ATyVar tv ty) 
-	| Just (_, ty') <- refineType reft ty
-	= ATyVar tv ty'	-- Ignore the coercion that refineType returns
-
-    refine elt = elt	-- Common case
-\end{code}
-
 %************************************************************************
 %*									*
 \subsection{The global tyvars}