X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=compiler%2Fiface%2FTcIface.lhs-boot;h=ac3e880f9f1c38a449973fa6fe7e6d9ac68b4ed3;hb=b00b5bc04ff36a551552470060064f0b7d84ca30;hp=25191fcaaedc0510f1d0b637fd284e1b483d2813;hpb=0065d5ab628975892cea1ec7303f968c3338cbe1;p=ghc-hetmet.git

diff --git a/compiler/iface/TcIface.lhs-boot b/compiler/iface/TcIface.lhs-boot
index 25191fc..ac3e880 100644
--- a/compiler/iface/TcIface.lhs-boot
+++ b/compiler/iface/TcIface.lhs-boot
@@ -1,13 +1,15 @@
 \begin{code}
 module TcIface where
-import IfaceSyn	 ( IfaceDecl, IfaceInst, IfaceRule )
-import TypeRep	 ( TyThing )
-import TcRnTypes ( IfL )
-import InstEnv	 ( Instance )
-import CoreSyn	 ( CoreRule )
+import IfaceSyn	  ( IfaceDecl, IfaceInst, IfaceFamInst, IfaceRule )
+import TypeRep	  ( TyThing )
+import TcRnTypes  ( IfL )
+import InstEnv	  ( Instance )
+import FamInstEnv ( FamInst )
+import CoreSyn	  ( CoreRule )
 
-tcIfaceDecl  :: IfaceDecl -> IfL TyThing
-tcIfaceInst  :: IfaceInst -> IfL Instance
-tcIfaceRule  :: IfaceRule -> IfL CoreRule
+tcIfaceDecl    :: Bool -> IfaceDecl -> IfL TyThing
+tcIfaceRules   :: Bool -> [IfaceRule] -> IfL [CoreRule]
+tcIfaceInst    :: IfaceInst -> IfL Instance
+tcIfaceFamInst :: IfaceFamInst -> IfL FamInst
 \end{code}