X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=compiler%2Ftypecheck%2FTcRnTypes.lhs;h=ba1888dd97d7bf99e45831ce5096c43775c70ded;hb=1f315eba139d1845f44f5fefcc7d3c353eba93d3;hp=30c922d1a043b78118c36f9a7c728dac297ff644;hpb=138b885a335734039daf7debb0a7dfc3dc947c00;p=ghc-hetmet.git

diff --git a/compiler/typecheck/TcRnTypes.lhs b/compiler/typecheck/TcRnTypes.lhs
index 30c922d..ba1888d 100644
--- a/compiler/typecheck/TcRnTypes.lhs
+++ b/compiler/typecheck/TcRnTypes.lhs
@@ -43,18 +43,18 @@ module TcRnTypes(
 
 import HsSyn		( PendingSplice, HsOverLit, LRuleDecl, LForeignDecl,
 			  ArithSeqInfo, DictBinds, LHsBinds, LImportDecl, HsGroup,
-                          ExprCoFn, IE )
+                          HsWrapper, IE )
 import HscTypes		( FixityEnv,
 			  HscEnv, TypeEnv, TyThing, 
 			  GenAvailInfo(..), AvailInfo, HscSource(..),
 			  availName, IsBootInterface, Deprecations )
 import Packages		( PackageId )
 import Type		( Type, pprTyThingCategory )
-import TcType		( TcTyVarSet, TcType, TcThetaType, SkolemInfo, TvSubst,
+import TcType		( TcTyVarSet, TcType, TcThetaType, SkolemInfo, 
 			  TcPredType, TcKind, tcCmpPred, tcCmpType,
 			  tcCmpTypes, pprSkolInfo )
 import InstEnv		( Instance, InstEnv )
-import FamInstEnv	( FamInst, FamInstEnv )
+import FamInstEnv	( FamInstEnv )
 import IOEnv
 import RdrName		( GlobalRdrEnv, LocalRdrEnv )
 import Name		( Name )
@@ -67,7 +67,6 @@ import UniqFM
 import SrcLoc		( SrcSpan, SrcLoc, Located, srcSpanStart )
 import VarSet		( IdSet )
 import ErrUtils		( Messages, Message )
-import UniqFM           ( UniqFM )
 import UniqSupply	( UniqSupply )
 import BasicTypes	( IPName )
 import Util		( thenCmp )
@@ -424,7 +423,7 @@ data TcTyThing
 
   | ATcId   {		-- Ids defined in this module; may not be fully zonked
 	tct_id :: TcId,		
-	tct_co :: Maybe ExprCoFn,	-- Nothing <=>	Do not apply a GADT type refinement
+	tct_co :: Maybe HsWrapper,	-- Nothing <=>	Do not apply a GADT type refinement
 					--		I am wobbly, or have no free
 					--		type variables
 					-- Just co <=>  Apply any type refinement to me,