X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=compiler%2Fiface%2FTcIface.lhs-boot;fp=compiler%2Fiface%2FTcIface.lhs-boot;h=e9ed235657a46815631cc3e121fa745101f9116d;hb=84f4c1dfb0c39c5b48a8b960fc82ab10aeb10c84;hp=25191fcaaedc0510f1d0b637fd284e1b483d2813;hpb=db375d630cb6e3377e48daaa0388ba5a4f798f7b;p=ghc-hetmet.git diff --git a/compiler/iface/TcIface.lhs-boot b/compiler/iface/TcIface.lhs-boot index 25191fc..e9ed235 100644 --- 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}