X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=compiler%2Fiface%2FTcIface.lhs-boot;h=51ab25592ecce2c5de78e90a51dfd4b0a5daa274;hb=a8427a4125e9b78e88a487eeabf018f1c6e8bc08;hp=e9ed235657a46815631cc3e121fa745101f9116d;hpb=84f4c1dfb0c39c5b48a8b960fc82ab10aeb10c84;p=ghc-hetmet.git diff --git a/compiler/iface/TcIface.lhs-boot b/compiler/iface/TcIface.lhs-boot index e9ed235..51ab255 100644 --- a/compiler/iface/TcIface.lhs-boot +++ b/compiler/iface/TcIface.lhs-boot @@ -1,13 +1,18 @@ \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 ) +import HscTypes ( TypeEnv, VectInfo, IfaceVectInfo ) +import Module ( Module ) -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 \end{code}