X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=compiler%2Fiface%2FTcIface.lhs;h=b4bf2ed6c4d9f076a1eaaff5e5fdeaa90d2055e8;hb=2f4e21c6f741995e20cc3b53b109ff9edf18eb3c;hp=42321955e65a9abf76387a318d3972acd2c9dee5;hpb=9a8c922e5beacdf8969f1d6d6878f5e5812d3bf8;p=ghc-hetmet.git diff --git a/compiler/iface/TcIface.lhs b/compiler/iface/TcIface.lhs index 4232195..b4bf2ed 100644 --- a/compiler/iface/TcIface.lhs +++ b/compiler/iface/TcIface.lhs @@ -50,6 +50,7 @@ import Maybes import SrcLoc import Util import DynFlags +import Breakpoints import Control.Monad import Data.List @@ -209,7 +210,8 @@ typecheckIface iface , md_insts = insts , md_fam_insts = fam_insts , md_rules = rules - , md_exports = exports + , md_exports = exports + , md_dbg_sites = noDbgSites } } \end{code} @@ -404,8 +406,8 @@ tcIfaceDecl ignore_prags = do { op_name <- lookupIfaceTop occ ; op_ty <- forkM (mk_doc op_name rdr_ty) (tcIfaceType rdr_ty) -- Must be done lazily for just the same reason as the - -- context of a data decl: the type sig might mention the - -- class being defined + -- type of a data con; to avoid sucking in types that + -- it mentions unless it's necessray to do so ; return (op_name, dm, op_ty) } mk_doc op_name op_ty = ptext SLIT("Class op") <+> sep [ppr op_name, ppr op_ty]