X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=ghc%2Fcompiler%2Ftypecheck%2FTcIfaceSig.lhs;h=64f77bb1abafae7e74f74430f8bd49266f32e095;hb=db95d6e8d319b0c5cee1ccc23751e8190152ade3;hp=727a3c21453ddeed0a8b0febec3132e739de082b;hpb=133dcbb95ce76179595ccee62c860aab4d5602e4;p=ghc-hetmet.git diff --git a/ghc/compiler/typecheck/TcIfaceSig.lhs b/ghc/compiler/typecheck/TcIfaceSig.lhs index 727a3c2..64f77bb 100644 --- a/ghc/compiler/typecheck/TcIfaceSig.lhs +++ b/ghc/compiler/typecheck/TcIfaceSig.lhs @@ -29,13 +29,13 @@ import CoreUnfold import CoreLint ( lintUnfolding ) import WorkWrap ( mkWrapper ) -import Id ( Id, mkId, mkVanillaId, isDataConWrapId_maybe ) +import Id ( Id, mkId, mkImportedId, isDataConWrapId_maybe ) import MkId ( mkCCallOpId ) import IdInfo import DataCon ( dataConSig, dataConArgTys ) import Type ( mkTyVarTys, splitAlgTyConApp_maybe ) import Var ( mkTyVar, tyVarKind ) -import Name ( Name, isLocallyDefined ) +import Name ( Name ) import Demand ( wwLazy ) import ErrUtils ( pprBagOfErrors ) import Outputable @@ -61,8 +61,6 @@ tcInterfaceSigs unf_env decls | TyClD (IfaceSig name ty id_infos src_loc) <- decls] where in_scope_vars = [] -- I think this will be OK - -- If so, don't pass it around - -- Was: filter isLocallyDefined (tcEnvIds unf_env) do_one name ty id_infos src_loc = tcAddSrcLoc src_loc $ @@ -70,7 +68,7 @@ tcInterfaceSigs unf_env decls tcHsType ty `thenTc` \ sigma_ty -> tcIdInfo unf_env in_scope_vars name sigma_ty vanillaIdInfo id_infos `thenTc` \ id_info -> - returnTc (mkId name sigma_ty id_info) + returnTc (mkImportedId name sigma_ty id_info) \end{code} \begin{code}