X-Git-Url: http://git.megacz.com/?p=ghc-hetmet.git;a=blobdiff_plain;f=compiler%2Fiface%2FTcIface.lhs-boot;h=c8ad71791899be12ec27189a81dfc55be92b1095;hp=e9ed235657a46815631cc3e121fa745101f9116d;hb=2c8aabcad1d2f2c469cb8a10afa7b66beeaedd45;hpb=84f4c1dfb0c39c5b48a8b960fc82ab10aeb10c84

diff --git a/compiler/iface/TcIface.lhs-boot b/compiler/iface/TcIface.lhs-boot
index e9ed235..c8ad717 100644
--- a/compiler/iface/TcIface.lhs-boot
+++ b/compiler/iface/TcIface.lhs-boot
@@ -1,13 +1,20 @@
 \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, IfaceAnnotation )
+import TypeRep	  ( TyThing )
+import TcRnTypes  ( IfL )
+import InstEnv	  ( Instance )
+import FamInstEnv ( FamInst )
+import CoreSyn	  ( CoreRule )
+import HscTypes   ( TypeEnv, VectInfo, IfaceVectInfo )
+import Module     ( Module )
+import Annotations ( Annotation )
 
-tcIfaceDecl  :: Bool -> IfaceDecl -> IfL TyThing
-tcIfaceRules :: Bool -> [IfaceRule] -> IfL [CoreRule]
-tcIfaceInst  :: IfaceInst -> IfL Instance
+tcIfaceDecl    :: Bool -> IfaceDecl -> IfL TyThing
+tcIfaceRules   :: Bool -> [IfaceRule] -> IfL [CoreRule]
+tcIfaceVectInfo:: Module -> TypeEnv -> IfaceVectInfo -> IfL VectInfo
+tcIfaceInst    :: IfaceInst -> IfL Instance
+tcIfaceFamInst :: IfaceFamInst -> IfL FamInst
+tcIfaceAnnotations :: [IfaceAnnotation] -> IfL [Annotation]
 \end{code}