Fix up the typechecking of interface files during --make

[ghc-hetmet.git] / compiler / iface / TcIface.lhs-boot

diff --git a/compiler/iface/TcIface.lhs-boot b/compiler/iface/TcIface.lhs-boot
index 25191fc..e9ed235 100644 (file)
--- a/compiler/iface/TcIface.lhs-boot
+++ b/compiler/iface/TcIface.lhs-boot
@@ -6,8 +6,8 @@ import TcRnTypes ( IfL )
 import InstEnv  ( Instance )
 import CoreSyn  ( CoreRule )
 
-tcIfaceDecl  :: IfaceDecl -> IfL TyThing
+tcIfaceDecl  :: Bool -> IfaceDecl -> IfL TyThing
+tcIfaceRules :: Bool -> [IfaceRule] -> IfL [CoreRule]
 tcIfaceInst  :: IfaceInst -> IfL Instance
-tcIfaceRule  :: IfaceRule -> IfL CoreRule
 \end{code}