X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=blobdiff_plain;f=compiler%2Ftypecheck%2FFamInst.lhs;h=3f226334ee9578e6453a428bbfca2a7b4f55b499;hp=e38a3b13b8a35d7a12f13ba71dbcdc36ef0fd8dc;hb=49c98d143c382a1341e1046f5ca00819a25691ba;hpb=b00b5bc04ff36a551552470060064f0b7d84ca30

diff --git a/compiler/typecheck/FamInst.lhs b/compiler/typecheck/FamInst.lhs
index e38a3b1..3f22633 100644
--- a/compiler/typecheck/FamInst.lhs
+++ b/compiler/typecheck/FamInst.lhs
@@ -1,4 +1,4 @@
-\section[FamInst]{The @FamInst@ type: family instance heads}
+The @FamInst@ type: family instance heads
 
 \begin{code}
 module FamInst ( 
@@ -7,17 +7,13 @@ module FamInst (
 
 #include "HsVersions.h"
 
-import HscTypes   ( ExternalPackageState(..) )
-import FamInstEnv ( FamInstEnv, FamInst(..), famInstTyCon, extendFamInstEnv,
-		    pprFamInst, pprFamInsts )
-import TcMType	  ( tcInstSkolType )
-import TcType	  ( SkolemInfo(..), tcSplitTyConApp )
-import TcRnMonad  ( TcM, TcGblEnv(..), setGblEnv, getGblEnv, foldlM,
-		    setSrcSpan, addErr, getEps )
-import TyCon      ( tyConFamInst_maybe )
-import Type	  ( mkTyConApp )
-import Name	  ( getSrcLoc )
-import SrcLoc	  ( mkSrcSpan )
+import HscTypes
+import FamInstEnv
+import TcMType
+import TcType
+import TcRnMonad
+import TyCon
+import Type
 import Outputable
 \end{code}
 
@@ -81,6 +77,7 @@ addLocalFamInst home_fie famInst
 		-- OK, now extend the envt
 	; return (extendFamInstEnv home_fie famInst) }
 
+{-  UNUSED??? --SDM
 overlapErr famInst dupFamInst
   = addFamInstLoc famInst $
     addErr (hang (ptext SLIT("Overlapping family instance declarations:"))
@@ -90,4 +87,5 @@ addFamInstLoc famInst thing_inside
   = setSrcSpan (mkSrcSpan loc loc) thing_inside
   where
     loc = getSrcLoc famInst
+-}
 \end{code}