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

diff --git a/compiler/typecheck/TcRnTypes.lhs b/compiler/typecheck/TcRnTypes.lhs
index f66abdc..30c922d 100644
--- a/compiler/typecheck/TcRnTypes.lhs
+++ b/compiler/typecheck/TcRnTypes.lhs
@@ -51,8 +51,10 @@ import HscTypes		( FixityEnv,
 import Packages		( PackageId )
 import Type		( Type, pprTyThingCategory )
 import TcType		( TcTyVarSet, TcType, TcThetaType, SkolemInfo, TvSubst,
-			  TcPredType, TcKind, tcCmpPred, tcCmpType, tcCmpTypes, pprSkolInfo )
+			  TcPredType, TcKind, tcCmpPred, tcCmpType,
+			  tcCmpTypes, pprSkolInfo )
 import InstEnv		( Instance, InstEnv )
+import FamInstEnv	( FamInst, FamInstEnv )
 import IOEnv
 import RdrName		( GlobalRdrEnv, LocalRdrEnv )
 import Name		( Name )
@@ -153,8 +155,11 @@ data TcGblEnv
 		-- bound in this module when dealing with hi-boot recursions
 		-- Updated at intervals (e.g. after dealing with types and classes)
 	
-	tcg_inst_env :: InstEnv,	-- Instance envt for *home-package* modules
-					-- Includes the dfuns in tcg_insts
+	tcg_inst_env     :: InstEnv,	-- Instance envt for *home-package* 
+					-- modules; Includes the dfuns in 
+					-- tcg_insts
+	tcg_fam_inst_env :: FamInstEnv,	-- Ditto for family instances
+
 		-- Now a bunch of things about this module that are simply 
 		-- accumulated, but never consulted until the end.  
 		-- Nevertheless, it's convenient to accumulate them along