import qualified Var
import Name
import NameEnv
+import NameSet
import OccName
import Module
import UniqFM
; fam_insts <- mapM tcIfaceFamInst (mi_fam_insts iface)
; rules <- tcIfaceRules ignore_prags (mi_rules iface)
+ -- Vectorisation information
+ ; let vect_info = VectInfo
+ (mkNameSet (ifaceVectInfoCCVar (mi_vect_info iface)))
+
-- Exports
; exports <- ifaceExportNames (mi_exports iface)
, md_insts = insts
, md_fam_insts = fam_insts
, md_rules = rules
+ , md_vect_info = vect_info
, md_exports = exports
, md_modBreaks = emptyModBreaks
}
; rhs_tyki <- tcIfaceType rdr_rhs_ty
; let rhs = if isOpen then OpenSynTyCon rhs_tyki Nothing
else SynonymTyCon rhs_tyki
- ; return (ATyCon (buildSynTyCon tc_name tyvars rhs))
+ -- !!!TODO: read mb_family info from iface and pass as last argument
+ ; tycon <- buildSynTyCon tc_name tyvars rhs Nothing
+ ; return $ ATyCon tycon
}
tcIfaceDecl ignore_prags