X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=blobdiff_plain;f=compiler%2Ftypes%2FFamInstEnv.lhs;h=c44c2003ad85ca3ac1b5267cbb84f8c8766d94d0;hp=acc0960a33f42f35c9cc08e6e3227de0b2613f40;hb=ab22f4e6456820c1b5169d75f5975a94e61f54ce;hpb=6b4592943b799175dec4549882bbf06fa87a0739

diff --git a/compiler/types/FamInstEnv.lhs b/compiler/types/FamInstEnv.lhs
index acc0960..c44c200 100644
--- a/compiler/types/FamInstEnv.lhs
+++ b/compiler/types/FamInstEnv.lhs
@@ -1,4 +1,8 @@
-\section[FamInstEnv]{Type checked family instance declarations}
+%
+% (c) The University of Glasgow 2006
+%
+
+FamInstEnv: Type checked family instance declarations
 
 \begin{code}
 module FamInstEnv (
@@ -12,22 +16,21 @@ module FamInstEnv (
 
 #include "HsVersions.h"
 
-import InstEnv          ( roughMatchTcs, instanceCantMatch )
-import Unify		( tcMatchTys )
-import TcType		( Type )
-import Type		( TvSubst, TyThing (ATyCon), pprParendType )
-import TyCon		( TyCon, isDataTyCon, isNewTyCon, isSynTyCon, 
-			  tyConName, tyConTyVars, tyConFamInst_maybe )
-import VarSet		( TyVarSet, mkVarSet )
-import Var		( TyVar )
-import Name		( Name, getOccName, NamedThing(..), getSrcLoc )
-import OccName		( parenSymOcc )
-import SrcLoc		( pprDefnLoc )
-import UniqFM		( UniqFM, lookupUFM, emptyUFM, addToUFM_C, eltsUFM )
+import InstEnv
+import Unify
+import TcType
+import Type
+import TyCon
+import VarSet
+import Var
+import Name
+import OccName
+import SrcLoc
+import UniqFM
 import Outputable
 
-import Maybe		( isJust, isNothing )
-import Monad		( mzero )
+import Maybe
+import Monad
 \end{code}