Add (a) CoreM monad, (b) new Annotations feature

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

diff --git a/compiler/iface/TcIface.lhs-boot b/compiler/iface/TcIface.lhs-boot
index 51ab255..c8ad717 100644 (file)
--- a/compiler/iface/TcIface.lhs-boot
+++ b/compiler/iface/TcIface.lhs-boot
@@ -1,6 +1,6 @@
 \begin{code}
 module TcIface where
-import IfaceSyn          ( IfaceDecl, IfaceInst, IfaceFamInst, IfaceRule )
+import IfaceSyn          ( IfaceDecl, IfaceInst, IfaceFamInst, IfaceRule, IfaceAnnotation )
 import TypeRep   ( TyThing )
 import TcRnTypes  ( IfL )
 import InstEnv   ( Instance )
@@ -8,11 +8,13 @@ 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]
 tcIfaceVectInfo:: Module -> TypeEnv -> IfaceVectInfo -> IfL VectInfo
 tcIfaceInst    :: IfaceInst -> IfL Instance
 tcIfaceFamInst :: IfaceFamInst -> IfL FamInst
+tcIfaceAnnotations :: [IfaceAnnotation] -> IfL [Annotation]
 \end{code}